Six functor formalisms via internal higher algebra

We extend a six-functor formalism $D\text{\hspace{0.17em}⁣}:\mathrm{S}\mathrm{p}\mathrm{a}\mathrm{n}(C,E)\to \mathrm{C}\mathrm{a}\mathrm{t}$ to a lax symmetric monoidal functor of $(\mathrm{\infty },2)$-categories ${\mathbf{S}\mathbf{p}\mathbf{a}\mathbf{n}}^2(C,E{)}_I^P\to \mathbf{C}\mathbf{a}\mathbf{t}$, where $P$ and $I$ are the classes of $D$-proper and $D$-étale morphisms, respectively. This proves a conjecture of Mann and generalizes a special case of a theorem of Cnossen, Lenz, and Linskens. To prove this result, we develop a theory of internal $\mathsf{E}$-monoidal categories and $\mathsf{E}$-operads, where $\mathsf{E}$ is a local class of morphisms in an $\mathrm{\infty }$-topos. These notions generalize the internal symmetric monoidal categories and operads developed by Martini and Wolf.