Checks if a morphism is an isomorphism.