Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 18 / 6 / b

The free algebra functor isThe monad laws make ${\mu }_A$ an algebra action, and naturality of $\mu$ makes $Tf$ a morphism of algebras for a monad. Let $U:{\mathcal{C}}^T\to \mathcal{C}$ forget the action. DefineThe proposed inverse is an algebra morphism becauseNaturality of $\eta$ and the algebra unit law give $(bTf){\eta }_A=f$. If $h$ is an algebra morphism, thenThe formulas are natural in both variables, so $F⊣U$. Its unit is $\eta$, and its counit at $(B,b)$ has underlying map $b:TB\to B$. Thus the monad induced by an adjunction has endofunctor $UF=T$, unit $\eta$, and multiplication $U{\epsilon }_F=\mu$. It is exactly the original monad, not merely a monad with the same endofunctor.