hasCoveringMapTo
P128193
predicate
Indicates that one mathematical space is related to another by a covering map, i.e., a continuous surjective map where each point in the target has a neighborhood evenly covered by disjoint homeomorphic copies in the source.
Sample triples (1)
| Subject | Object |
|---|---|
|
rotation group SU(2)
surface form:
SU(2)
|
SO(3) NERFINISHED ⓘ |