canBePulledBackAlong
P93929
predicate
Indicates that a structure or object can be transferred or redefined along a given mapping or morphism so that it is compatible with that mapping.
Observed surface forms (2)
- pullbackBy ×1
- pullbackWellDefinedIf ×1
Sample triples (4)
| Subject | Object |
|---|---|
| Cartier divisor | morphism is flat or divisor is Cartier via predicate surface "pullbackWellDefinedIf" ⓘ |
| Cartier divisor | morphism of schemes ⓘ |
| Maurer–Cartan form | left translation on the Lie group via predicate surface "pullbackBy" ⓘ |
| Weil divisor | proper morphism under suitable conditions ⓘ |