Eilenberg–Moore algebra

Redirect to:

• Monad (category theory)