 Identity morphism

The identity morphism on an object $A$ is the neutral element for composition in a category: $f{1}_A=f$ and $1_{A}g=g$ whenever the composites are defined.