Documentation

An Endomorphism in a given Category is a morphism from some
object to itself. The set of endomorphisms for a particular
object form a monoid, with composition as the combining operation
and the identity morphism as the identity element.