{"id":"arxiv/2606.10052","url":"https://arxiv.org/abs/2606.10052","tags":["math.CT","math.KT"],"score":0,"title":"The span-squares adjunction","domain":"math.CT","source":"arxiv","authors":["George Raptis","Wolfgang Steimle"],"reviews":0,"subject":"math.CT","summary":"We show a universal property of the span $\\infty$-category that yields a description of functors defined on this category. For this, we view the span construction as a functor from double $\\infty$-categories to $\\infty$-categories, and show that this functor admits a right adjoint defined by the double $\\infty$-categories of squares. As an application, we obtain a model for the localization of an $\\infty$-category in terms of a span $\\infty$-category and also give another proof of the model given by the relative nerve. Moreover, using the span-squares adjunction, we obtain new proofs of the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-08","reactions":{}}