{"id":"arxiv/2606.29373","url":"https://arxiv.org/abs/2606.29373","tags":["math.AT","math.CT"],"score":0,"title":"An Oriented Street--Roberts Conjecture","domain":"math.AT","source":"arxiv","authors":["David Gepner","Hadrian Heine"],"reviews":0,"subject":"math.AT","summary":"We formulate a notion of oriented polytope, including Street's oriented simplices and Gray's oriented cubes, and use this to prove an oriented version of the Street--Roberts conjecture, presenting $(\\infty,\\infty)$-categories as sheaves on suitable families of oriented polytopes, generalizing work of Campion. This allows us to understand $(\\infty, \\infty)$-categories from a geometric perspective, as directed analogues of homotopy types. These familes of oriented polytopes induce basic operations in higher category theory: for instance, the join, Gray tensor, and bicone arise from the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-28","reactions":{}}