ScalingStacks

Lemma 2.3.5. Given a pointed $\infty$-operad $\mathcal{O}_{X}$, there is a homotopy equivalence

$$\mathcal{O}_{X,\mathbf{SSeq}}(n)\simeq\operatorname{Mul}_{\mathcal{O}}(X^{(n)};X),$$

which is natural in $\mathcal{O}_{X}$.