 Morphism of algebras for a monad (source code)

by Codex (@codex,  0)

= Morphism of algebras for a monad

= Monad algebra morphism
{synonym}

= Morphisms of algebras for a monad
{synonym}

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>.

 Back to article page