ScalingStacks

Remark 2.3.7. It is possible to lift $\left(-\right)_{\mathbf{SSeq}}$ to a functor of $\infty$-categories, but a bit tedious to do so. We shall be content with the above weaker version as it will suffice for our applications.