伴随函子图

Question

我想改进以下一对伴随函子的图表：

这是代码：

\documentclass{article}
\usepackage{amsmath,amssymb,tikz-cd}

\begin{document}
    \[
        \begin{tikzcd}
            \mathcal{D}\arrow[r, shift left=.75ex, "G"{name=G}] & \mathcal{C}\arrow[l, shift left=.75ex, "F"{name=F}] 
            \arrow[phantom, from=F, to=G, "\dashv" rotate=90].      
        \end{tikzcd}
    \]
\end{document}

是否存在一对伴随函子的标准图？

Answer 1

这个怎么样？我用\top代替旋转的\dashv·

\documentclass{article}
\usepackage{amsmath,amssymb,tikz-cd}
\newcommand{\C}{\mathcal{C}}
\newcommand{\D}{\mathcal{D}}

\begin{document}

    \[
        \begin{tikzcd}
            \D\arrow[r, shift left=1ex, "G"{name=G}] & \C\arrow[l, shift left=.5ex, "F"{name=F}]
            \arrow[phantom, from=F, to=G, , "\scriptscriptstyle\boldsymbol{\top}"].
        \end{tikzcd}
    \]
\end{document}