Past exam of the mathematics course of the University of Cambridge / 2001 / iii / Paper 17 / 1 / i

Write the adjunction as the natural bijectionThe unit of an adjunction and counit of an adjunction are the natural transformations whose components areNaturality of the hom-set bijections gives, for $f:FA\to B$ and $g:A\to GB$,For example, postcomposition by $f$ in the first hom-set corresponds to postcomposition by $Gf$ in the second, giving the first formula; naturality in $A$ gives the second. The same naturality says that, for $a:A\to A^{\prime }$ and $b:B\to B^{\prime }$,Thus these components do define the asserted natural transformations $1_{\mathcal{C}}\to GF$ and $FG\to 1_{\mathcal{D}}$.