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
Rfv-sense (mathematics) A map from a topological space onto another by local homeomorphisms of disjoint preimages. Surely not. &mdash; Fytcha〈 T | L | C 〉 18:35, 26 June 2022 (UTC)


 * Sense 1 appears to be the definition of a different technical term, . 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)
 * Yes, these are commonly called just but not spaces. A mapping doesn't have a space-like structure. &mdash; 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)