Past exam of the mathematics course of the University of Cambridge / 2010 / iii / Paper 21 / 4 / Solution

Write $\eta :1_{\mathcal{C}}\to GF$ and $\epsilon :FG\to 1_{\mathcal{D}}$ for the unit and counit of an adjunction. The induced monad hasThe Eilenberg-Moore comparison functor sends $D\in \mathcal{D}$ to the algebra for a monadand sends $v:D\to D^{\prime }$ to $Gv$. The triangle identities for an adjunction give the algebra unit law, and naturality of the counit gives the algebra multiplication law and the algebra-morphism equation for $Gv$.

If $\mathcal{D}$ has coequalizers, define the Left adjoint to the Eilenberg-Moore comparison functor at an algebra $(A,a:TA\to A)$ byThe parallel pair is reflexive through $F{\eta }_A$. A morphism $L(A,a)\to D$ is equivalently an arrow $b:FA\to D$ with $bFa=b{\epsilon }_{FA}$. Under $F⊣G$, its transpose is $\bar{b}=Gb{\eta }_A:A\to GD$. The transpose of $bFa$ is $\bar{b}a$, while the transpose of $b{\epsilon }_{FA}$ is $G{\epsilon }_{D}T\bar{b}$. Hence the coequalizer condition is exactlythe equation for a morphism of algebras for a monad $(A,a)\to K(D)$. This supplies the natural bijection proving $L⊣K$, and also defines $L$ on algebra morphisms by the coequalizer universal property.