Endomorphism

In a category \(C\), for some object \(c \in C\), an endomorphism \(f\) is a morphism \(f: c \to c\).