Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 22 / 3 / a / Solution

Use the orientation $F:\mathcal{C}\to \mathcal{D}$ and $G:\mathcal{D}\to \mathcal{C}$. An adjunction $F⊣G$ is equivalently specified by the natural transformationscalled the unit and counit of an adjunction, satisfying the triangle identities for an adjunctionThe corresponding natural bijection is $\mathcal{D}(FC,D)\cong \mathcal{C}(C,GD)$, with $f\mapsto G(f){\eta }_C$ and inverse $g\mapsto {\epsilon }_{D}F(g)$. The two triangular equations are the required compatibility conditions. No proof of equivalence of the formulations is needed here.