Algebra for a monad
= Algebra for a monad
{title2=$(A,a)$}
{wiki=Monad_(category_theory)#Algebras_for_a_monad}
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$.
= Algebra for a monad
{title2=$(A,a)$}
{wiki=Monad_(category_theory)#Algebras_for_a_monad}
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$.