What is the meaning of Identity_morphism?
A unique morphism corresponding to each object of a category, which has its domain equal to its codomain, and which composed with any morphism (with which it is composable) gives that same morphism.
Source: wiktionary.orgSearch words containing