Proposition 5.6. Assuming that:

$C$ a category
$𝕋$ a monad

Then there is an adjunction

C ⇄_{G_{𝕋}}^{F_{𝕋}} C_{𝕋}

inducing the monad

𝕋

.