Discrete homotopy hypothesis for n-types
We show that discrete and classical homotopy theories are equivalent after localizing at n-equivalences for any non-negative integer n. By constructing an explicit homotopy inverse to the graph nerve functor associating an n-fibrant cubical set to a graph, we are also able to give explicit computations of several previously unknown discrete homotopy groups of boundaries of cubes and suspensions of cycles.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.19293
curl -X POST /api/v1/records/arxiv/2602.19293/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.19293/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'