# [Tex/LaTex] Adjoint functors with tikz-cd

tikz-cd

I'd like to construct diagrams such as

,

preferably with tikz-cd, but I've no idea where to start. Please help 🙂

EDIT: This is what I have so far.

\begin{tikzcd}
\mathbf{C} \arrow[bend left=35]{r}[name=F]{F} & \mathbf{D}\arrow[bend left=35]{l}[name=U]{U}
\arrow[to path=(F) -- (U)]{d}{\vdash}
\end{tikzcd}


I've tried a few variations but I can't figure out how to get \vdash (or \bot , whichever).

A minor point on Qrrbrbirlbel's answer: the \dashv should be rotated. This can be done as follows:

\documentclass{standalone}
\usepackage{tikz-cd}
\usepackage{amsfonts}

\begin{document}
\begin{tikzcd}
\mathbb{C}
\arrow[r, "F"{name=F}, bend left=25] &
\mathbb{B}
\arrow[l, "U"{name=G}, bend left=25]