Checks if a morphism is surjective.