ScalingStacks

Remark 7.7.9.

In other words, corollary 7.7.8 shows that \(\mathbb A_2 \otimes \mathbb E_1 \rightarrow\mathbb E_2\) is a \(1\)-equivalence in the sense of [SY19], i.e. it is essentially surjective on the underlying categories and induces an equivalence on the \(0\)-truncations of all the multimapping spaces.