2 problems

Gaitsgory–Rozenblyum's universality conjecture. The universal target for left $I$-adjointable functors is $\operatorname{Span}_{1\frac{1}{2}}(C,I)$, and dually the universal target…

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