The $(\infty ,\infty )$-category of spans

Abstract

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 specializes to the well-known relation with the twisted arrow categories in dimension $1$. These results will be used in the sequels to construct higher analogs of the classical Hall algebra construction, where "higher" refers to both higher categorical and "higher monoidal" structures, i.e., ${\mathsf{E}}_k$-algebras in $(\infty ,n)$-categories for $n,k>1$.