Lemma. The identity is an insomorphism [isomorphism-identity]

    For any we have .

    Proof. [#]

      Let be an arbitrary object; then there is an identity . We then have that , and thus it is an isomorphism as desired.