In der Kategorientheorie heißt jeder Morphismus, dessen Quelle und Ziel übereinstimmen, ein Endomorphismus des fraglichen Objektes. Die Gesamtheit der Endomorphismen eines Objektes A wird mit End(A) bezeichnet und bildet stets ein Monoid, in additiven Kategorien sogar einen (unitären) Ring. Für algebraische Strukturen ist die Definition äquiv...