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.
Constructors
EndomorphismgetEndomorphism :: k a a
Instances4Show, Semigroup, Monoid, Group
Show (k a a) => Show (Endomorphism k a)Defined in monoid-extras-0.7.0.2 · Data.Monoid.EndomorphismSemigroupoid k => Semigroup (Endomorphism k a)Defined in monoid-extras-0.7.0.2 · Data.Monoid.Endomorphism(Semigroupoid k, Category k) => Monoid (Endomorphism k a)Defined in monoid-extras-0.7.0.2 · Data.Monoid.Endomorphism(Category k, Groupoid k) => Group (Endomorphism k a)Defined in monoid-extras-0.7.0.2 · Data.Monoid.Endomorphism