isPushforwardMapOf
P190216
predicate
Indicates that one map is the pushforward (direct image) induced by another map, typically sending structures or objects along that underlying map in a functorial way.
Sample triples (1)
| Subject | Object |
|---|---|
| Brenier map | convex potential gradient ⓘ |