« Category Theory
Definition.
Endomorphism
[0068]
A
morphism
with equal domain and codomain is called an
endomorphism
.