morphismCondition
P178985
predicate
Indicates that a specified condition or constraint must hold for a mapping between structures to qualify as a valid morphism.
Sample triples (1)
| Subject | Object |
|---|---|
| Nisnevich topology | covers consist of jointly surjective families of étale morphisms with residue field lifting ⓘ |