Six functor formalisms via internal higher algebra

Shachar Carmeli, Guy Kapon, Noam Nissan

We extend a six-functor formalism $D:\mathrm{Span}(C,E)\to \mathrm{Cat}$ to a lax symmetric monoidal functor of $(\infty ,2)$-categories $\mathbf{Span}^2(C,E)^P_I\to\mathbf{Cat}…