Such a definition generalizes to the concept of an identity morphism in category theory, where the endomorphisms of M need not be functions.

• 此一定义广义化成了于范畴论中恒等态射的概念，其中M的自同态并不必然要是个函数。