Checks if a morphism is an automorphism.