algebra over a monad

An algebra over a monad is an object together with an arrow satisfying

• , and
• .

Dually, a coalgebra over a comonad is an object together with an arrow satisfying

• , and
• .

These are special cases of, respectively, algebras and coalgebras over endofunctors.