{"id":"arxiv/2607.14773","url":"https://arxiv.org/abs/2607.14773","tags":["math.AT","math.CT"],"score":0,"title":"Higher covering spaces in an $\\infty$-topos","domain":"math.AT","source":"arxiv","authors":["Virgile Constantin"],"reviews":0,"subject":"math.AT","summary":"We develop a systematic theory of $(n-1)$-truncated maps, called $n$-covering maps, in a fixed $\\infty$-topos $\\mathscr{E}$, guided by the analogy with classical covering spaces. We prove an equivalence of $n$-categories between $n$-coverings over a pointed connected object $(X,x)$ and $\\infty$-actions of the fundamental $n$-group $Π_n(X,x)$ on $(n-1)$-truncated objects, which restricts to a classification of pointed connected $n$-coverings in terms of sub-$n$-groups of $Π_n(X,x)$. We study the $n$-group of deck transformations $\\mathscr{D}\\mathrm{eck}(p)$, identifying it with…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-16","reactions":{}}