mathlib

4ff535a0 - algebras of endofunctor, generalizes monad.algebra