Lambek lemma

Warning. The same result is not true for algebra for a monad: initial monad algebras are not fixpoints.

References.

• A Fixpoint Theorem for Complete Categories (Lambek, 1968)

Back: initial algebra for an endofunctor, algebra of an endofunctor.