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