Kerodon

\begin{equation} \begin{gathered}\label{equation:exponential-as-adjoint} \xymatrix { \widetilde{Y} \ar [r]^{\eta _{ \widetilde{Y}}} \ar [d]^{\widetilde{u}} & (G \circ F)( \widetilde{Y} ) \ar [d]^{ (G \circ F)(\widetilde{u})} \\ \widetilde{X} \ar [r]^{ \eta _{ \widetilde{X} }} & (G \circ F)(\widetilde{X} ) } \end{gathered} \end{equation}