Proposition 19.2.15 ([Lurie (2017), Theorem 5.1.4.10 and Corollary 3.4.1.7]). Let \(C\) be a symmetric monoidal \(\infty \)-category. Assume that \(C\) admits geometric realizations and that the tensor product of \(C\) preserves geometric realizations in both variables. Let \(R\) be a commutative algebra in \(C\). The forgetful functor \(\CAlg (\Mod _R(C))\to \CAlg (C)\) lifts to an equivalence of \(\infty \)-categories \[ \CAlg (\Mod _R(C))\iso \CAlg (C)_{R/}. \]
Generated from the authoritative LaTeX source.