 Eilenberg-Moore category

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