monic_morphism