Lemma. Inverse isomorphisms are unique [006B]

the left inverse and right inverse to a common morphism coincide. This means every morphism can have at most one inverse isomorphism.

Proof. TODO