Higher covering spaces in an $\infty$-topos
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.14773
curl -X POST /api/v1/records/arxiv/2607.14773/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.14773/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'