{"id":"arxiv/2608.29495","url":"https://arxiv.org/abs/2608.29495","tags":["math.CT","math.AG","math.AT"],"score":0,"title":"The $(\\infty,\\infty)$-category of spans","domain":"math.CT","source":"arxiv","authors":["Jonte Gödicke","Quoc P. Ho","Walker H. Stern"],"reviews":0,"subject":"math.CT","summary":"In this paper, we construct the $(\\infty,\\infty)$-category $\\mathsf{Span}_\\infty(\\mathcal{C})$ of spans, also known as correspondences, in any given $(\\infty,1)$-category $\\mathcal{C}$ with finite limits. This yields new models for the span $(\\infty,n)$-categories for $n \\in \\mathbb{N} \\cup \\{\\infty\\}$. We characterize the mapping $(\\infty, n-1)$-categories in these $(\\infty,n)$-categories, and thereby verify that our model agrees with other models for spans. Finally, and most importantly, we prove a new universal property, characterizing functors into span $(\\infty,n)$-categories, which…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-30","reactions":{}}