hasCoveringSpace

P147446
predicate

Indicates that one topological space serves as a covering space of another, mapping onto it via a continuous surjective map that is locally a homeomorphism.

Sample triples (1)

Subject Object
U(1) R with projection \theta \mapsto e^{i\theta}