ScalingStacks

Theorem 8.3.1. The isomorphism $\Xi^{\prime}$ provides an isomorphism of $2$-representations, where $\Delta_{\lambda}{\mathcal{S}}_{M}^{\bullet}(Z)$ is equipped with the diagonal action and ${\mathcal{S}}_{M}^{\bullet}(Z_{\xi})$ with the action of $R_{\xi^{-}}$.