Talk:covering space

This one seems weird to me. I've never heard the word "covering space" used for the map comprising a covering. Wikipedia also uses "covering map" for the map, and "covering space" for the space the map is defined on. --Pred (talk) 18:47, 23 November 2013 (UTC)

RFV discussion: June 2022–February 2023

This entry has survived Wiktionary's verification process (permalink).

Please do not re-nominate for verification without comprehensive reasons for doing so.

---

covering space

Rfv-sense (mathematics) A map from a topological space onto another by local homeomorphisms of disjoint preimages. Surely not. — Fytcha〈 T | L | C 〉 18:35, 26 June 2022 (UTC)

Sense 1 appears to be the definition of a different technical term, covering map.^[1] If $p:{\tilde {X}}\to X$ is a covering map, then its codomain ${\tilde {X}}$ is a covering space (for $X$ – it is a relative concept), which is loosely given as a secondary sense. 12:07, 27 June 2022 (UTC) — This unsigned comment was added by Lambiam (talk • contribs).

Yes, these are commonly called just coverings but not spaces. A mapping doesn't have a space-like structure. — Fytcha〈 T | L | C 〉 12:16, 27 June 2022 (UTC)

Since this clearly exists (in another definition, apparently) I've replaced the entry with an rfdef. Ioaxxere (talk) 04:36, 9 February 2023 (UTC)

RFV Passed. Ioaxxere (talk) 22:21, 16 February 2023 (UTC)