Given an Isomorphism , the inverse of is a Morphism such that both of the following hold: