{"id":"arxiv/2602.19293","url":"https://arxiv.org/abs/2602.19293","tags":["math.AT","math.CO","math.CT"],"score":0,"title":"Discrete homotopy hypothesis for n-types","domain":"math.AT","source":"arxiv","authors":["Daniel Carranza","Chris Kapulkin"],"reviews":0,"subject":"math.AT","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-22","reactions":{}}