Lemma. The identity morphism is unique [uniqueness-identity]Proof. [#]Let be arbitrary. Suppose and are identity morphisms. Then as desired.