projection_morphism