hasCanonicalMapFrom
P95390
predicate
Indicates that there exists a standard or uniquely determined structure-preserving map from one entity to another.
Observed surface forms (3)
- canBeMappedOver ×2
- hasCanonicalProjection ×2
- hasNaturalHomomorphismFrom ×1
Sample triples (6)
| Subject | Object |
|---|---|
| Grothendieck group | underlying commutative monoid ⓘ |
| PSL(2,ℤ/Nℤ) | PSL(2,ℤ) via predicate surface "hasNaturalHomomorphismFrom" NERFINISHED ⓘ |
| Directory System Protocol | OSI transport protocols via predicate surface "canBeMappedOver" ⓘ |
| Directory System Protocol | TCP/IP stacks via predicate surface "canBeMappedOver" ⓘ |
| S^2 × R geometry | projection to S^2 factor via predicate surface "hasCanonicalProjection" ⓘ |
| S^2 × R geometry | projection to R factor via predicate surface "hasCanonicalProjection" ⓘ |