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