ScalingStacks

Theorem 1.3.1. There is an equivalence of triangulated categories

$$\mathcal{F}(\mathrm{Sym}^{*}(\Sigma),M)\simeq\mathcal{F}(\mathrm{Sym}^{*}(\Sigma_{1}),M_{1}){\hskip 1.9919pt\otimes\hskip-10.81218pt\bigcirc}\mathcal{F}(\mathrm{Sym}^{*}(\Sigma_{2}),M_{2})$$

compatible with the structure of higher representations of $\mathfrak{gl}(1|1)^{+}$.