The discrete homotopy hypothesis for directed graphs

Briony Eldridge, Sergei O. Ivanov, Xiaomeng Xu, Shing-Tung Yau, Mengmeng Zhang

arXivarxiv/2605.04959May 6, 2026math.ATscore 0

We develop a homotopy theory of directed graphs based on cubical homotopy groups, also known as $A$-groups or reduced GLMY homotopy groups. Localizing the category of directed graphs at morphisms that induce isomorphisms on these groups yields an $\infty$-category, denoted by ${\sf DGra}_\infty$. We prove that ${\sf DGra}_\infty$ is equivalent to the $\infty$-category of spaces, establishing a directed version of the discrete homotopy hypothesis of Carranza and Kapulkin.

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2605.04959
curl -X POST /api/v1/records/arxiv/2605.04959/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.04959/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'