[Tex/LaTex] Adjoint functors diagram

tikz-cd

I'd like to improve the following diagram for a pair of adjoint functors:
enter image description here

This is the code:

\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}

Is there a standard diagram for a pair of adjoint functors?

Best Answer

How about this? I use \top in the place of a rotated \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}

enter image description here

Related Question