ScalingStacks

In the case that \(\mathcal O= \mathbb E_\infty\) and \(\mathcal C\) is a presentably symmetric monoidal \(\infty\)-category with a compatible factorization system, \(\mathrm{Alg}_{\mathcal A}(\mathcal C)\) has a canonical symmetric monoidal structure ⁷² (see subsection A.8.5). The factorization system \((\mathcal L_\mathcal A, \mathcal R_\mathcal A)\) defined above is compatible with the symmetric monoidal structure.