Файл:Isbell duality.svg

\documentclass { standalone } \usepackage { tikz } \usetikzlibrary { arrows } \begin { document } \begin { tikzpicture } \node (a) в точке (-2,0) { $ \left [ \mathcal {A}^{op}, \mathcal {V} \right ] $ } ; \node (b) в точке (2,0) { $ \left [ \mathcal {A}, \mathcal {V} \right ] ^{op} $ } ; \node (c) в точке (0,2) { $ \mathcal {A} $ } ; \node в точке (0,0) { \rotatebox { 270 }{ $ \dashv $ }} ; \path [->,font=\scriptsize,>=угол 90]
(a) ребро [изгиб влево] узел[выше] { $ \mathcal {O} $ } (b)(b) ребро [изгиб влево] узел[ниже] { $ \mathrm {Spec} $ } (a); \draw [->] (c) -- узел[auto=right] { $ y $ } (a); \draw [->] (c) -- узел[auto=left] { $ z $ } (b); \end { tikzpicture } \end { document }