支配态射

dominant morphism