Theorem 5.7. The Kleisli adjunction $(C\underset{}{\overset{}{\rightleftarrows }}{C}_{𝕋})$ is an initial object of $\mathrm{Adj}(𝕋)$, and the Eilenberg-Moore adjunction $(C\underset{}{\overset{}{\rightleftarrows }}{C}^{𝕋}$ is terminal.