Morphism of algebras for a monad
= Morphism of algebras for a monad
A morphism $f:(A,a)\to(B,b)$ of algebras for a monad satisfies $fa=bT(f)$. Such morphisms are the morphisms of the <Eilenberg-Moore category>.
= Morphisms of algebras for a monad
{synonym}