{"id":"arxiv/2609.37520","url":"https://arxiv.org/abs/2609.37520","tags":["math.CT","math.AG","math.AT"],"score":0,"title":"Six functor formalisms via internal higher algebra","domain":"math.CT","source":"arxiv","authors":["Shachar Carmeli","Guy Kapon","Noam Nissan"],"reviews":0,"subject":"math.CT","summary":"We extend a six-functor formalism $D\\colon\\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}$, 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 $\\infty$-topos. These notions generalize the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-29","reactions":{}}