identity morphism
Jump to navigation
Jump to search
English[edit]
Noun[edit]
identity morphism (plural identity morphisms)
- (category theory) 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.