1 problem

Span functoriality conjecture. The $\operatorname{Span}$ construction underlies a limit-preserving $(\infty,2)$-functor from the $(\infty,2)$-category of categories with pullbacks,…