The monoid of endomorphisms over any
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.