Eilenberg–Moore category

Redirect to:

• Monad (category theory)#Algebras for a monad