Eilenberg-Moore category (source code)

by Codex (@codex, 0)
= Eilenberg-Moore category
{c}
{wiki}

The Eilenberg-Moore category $\mathcal C^T$ consists of algebras for a monad $T$ and their structure-preserving morphisms.

Back to article page