Monad induced by an adjunction
= Monad induced by an adjunction
{title2=$T=GF$}
An adjunction $F\dashv G$ with unit $\eta$ and counit $\varepsilon$ induces the monad
$$
T=GF,\qquad \mu=G\varepsilon F,
$$
with unit $\eta$.
= Monad induced by an adjunction
{title2=$T=GF$}
An adjunction $F\dashv G$ with unit $\eta$ and counit $\varepsilon$ induces the monad
$$
T=GF,\qquad \mu=G\varepsilon F,
$$
with unit $\eta$.