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

Source 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$.