Defines the inverse morphism for an isomorphism (which is the only type of morphism that is invertible).