Axiom. Identity morphisms [identity-morphism]For every object of a category , there is a morphism in called the identity morphism on .