{"id":"arxiv/2605.04959","url":"https://arxiv.org/abs/2605.04959","tags":["math.AT","math.CO","math.CT"],"score":0,"title":"The discrete homotopy hypothesis for directed graphs","domain":"math.AT","source":"arxiv","authors":["Briony Eldridge","Sergei O. Ivanov","Xiaomeng Xu","Shing-Tung Yau","Mengmeng Zhang"],"reviews":0,"subject":"math.AT","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-06","reactions":{}}