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.
All labels observed (3)
| Label | Occurrences |
|---|---|
| canBePulledBackAlong canonical | 2 |
| pullbackBy | 1 |
| pullbackWellDefinedIf | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: canBePulledBackAlong
Generated description
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.
Sample triples (4)
| Subject | Object |
|---|---|
| Weil divisor | proper morphism under suitable conditions ⓘ |
| Maurer–Cartan form | left translation on the Lie group via predicate surface "pullbackBy" ⓘ |
| Cartier divisor | morphism of schemes ⓘ |
| Cartier divisor | morphism is flat or divisor is Cartier via predicate surface "pullbackWellDefinedIf" ⓘ |