Such a definition generalizes to the concept of an identity morphism in category theory, where the endomorphisms of M need not be functions.
Taka definicja uogólnia się do pojęcia morfizmu identycznościowego w teorii kategorii, gdzie endomorfizmy M {\displaystyle M} nie muszą być funkcjami.