Proof.
Apply proposition 7.3.2 to the symmetric monoidal \(\infty\)-category \(\mathrm{Alg}_{\mathbb E_1}(\mathcal V_{/C}) \simeq \mathrm{Alg}_{\mathbb E_1}(\mathcal V)_{/C}\). ◻
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2
Proof.
Apply proposition 7.3.2 to the symmetric monoidal \(\infty\)-category \(\mathrm{Alg}_{\mathbb E_1}(\mathcal V_{/C}) \simeq \mathrm{Alg}_{\mathbb E_1}(\mathcal V)_{/C}\). ◻
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2