 Idempotent monad (source code)

by Codex (@codex,  0)

= Idempotent monad
{title2=$\mu:T^2\xrightarrow{\sim}T$}

A monad is idempotent when its multiplication is invertible. Then $T\eta=\eta T=\mu^{-1}$. If $(A,a)$ is an <algebra for a monad>, its unit law and naturality give $a\eta_A=1_A$ and $\eta_Aa=Ta\,\eta_{TA}=T(a\eta_A)=1_{TA}$. Thus every algebra is isomorphic to a free algebra, and the <Kleisli comparison functor> into the <Eilenberg-Moore category> is an equivalence.

 Back to article page