Universality of span 2-categories and the construction of 6-functor formalisms

Bastiaan Cnossen, Tobias Lenz, Sil Linskens

Given an $\infty$-category $C$ equipped with suitable wide subcategories $I,P\subset E\subset C$, we show that the $(\infty ,2)$-category $\text{S}{\scriptstyle\text{PAN}}_2(C,E)_…