ScalingStacks

Example 5.3.5. If we take $\mathcal{P}_{i}=\mathbb{E}_{1}$ for all $i$, then the additivity theorem (A.5.1.2.2) implies that $\bigotimes\limits_{i=1}^{\infty}\mathbb{E}_{1}$ is the colimit of the sequence of $\infty$-operads

$$\mathbb{E}_{0}\to\mathbb{E}_{1}\to\mathbb{E}_{2}\to\mathbb{E}_{3}\to\dots,$$

which is $\mathbb{E}_{\infty}$.