ScalingStacks

Proposition 8.1.3. The bimodule $E$ and the endomorphism $\tau$ define a bimodule $2$-representation on ${\mathcal{S}}^{\bullet}_{M}(Z)$ and on ${\mathcal{S}}_{M}(Z)$.