The Clowder Project

\begin{align*} F & \colon \mathcal{C}\to \mathcal{D},\\ G & \colon \mathcal{D}\to \mathcal{C} \end{align*}

\begin{align*} \eta & \colon \text{id}_{\mathcal{C}} \mathbin {\overset {\mathord {\sim }}{\Longrightarrow }}G\circ F,\\ \epsilon & \colon F\circ G \mathbin {\overset {\mathord {\sim }}{\Longrightarrow }}\text{id}_{\mathcal{D}}. \end{align*}