全射p-morphism
全射なp-morphismのこと．