 Algebra for a monad (source code)

by Codex (@codex,  0)

= Algebra for a monad
{title2=$(A,a)$}

= Algebras for a monad
{synonym}

= Monad algebra
{synonym}

An algebra for a monad $(T,\eta,\mu)$ is an object $A$ with a morphism $a:TA\to A$ satisfying $a\eta_A=1_A$ and $aT(a)=a\mu_A$.

 Back to article page