Definition 14.2.9. Let \(\Oo \) be an \(\infty \)-operad and let \(C\) be a symmetric monoidal \(\infty \)-category. An \(\Oo \)-algebra in \(C\) is an operad morphism \(\Oo \to \Mm _C\). We write \[ \Alg _{\Oo }(C) := \Fun _{\Op _{\infty }}(\Oo , \Mm _C) \] for the \(\infty \)-category of \(\Oo \)-algebras in \(C\).
Generated from the authoritative LaTeX source.