Identity functor

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:Functor
gptkbp:codomain Same category as domain
gptkbp:domain Any category
gptkbp:field Category theory
gptkbp:heldBy gptkb:Endofunctor
Trivial functor
https://www.w3.org/2000/01/rdf-schema#label Identity functor
gptkbp:mapType Each morphism to itself
Each object to itself
gptkbp:notation Id
1_C
gptkbp:preserves Composition
Identities
gptkbp:bfsParent gptkb:Endofunctor
gptkbp:bfsLayer 6