Talk:covering space

Latest comment: 1 year ago by Ioaxxere in topic RFV discussion: June 2022–February 2023

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)Reply

RFV discussion: June 2022–February 2023 edit

 

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

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


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)Reply

Sense 1 appears to be the definition of a different technical term, covering map.[1] If   is a covering map, then its codomain   is a covering space (for   – 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 (talkcontribs).
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)Reply

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

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

Return to "covering space" page.