ScalingStacks

\(\underline{\nabla_2 \otimes \mathbb E_0} \otimes \mathbb E_1 \rightarrow\nabla_2 \otimes \mathbb E_0 \otimes \mathbb E_1 \simeq \nabla_2 \otimes \mathbb E_1\), where \(\underline{\nabla_2 \otimes\mathbb E_0}\) denotes the (free \(\infty\)-operad on) the underlying \(\infty\)-category of \(\nabla_2 \otimes \mathbb E_0\);