Eilenberg–Moore algebra

Redirect to:

  • Monad (category theory)