Definition 14.4.6. Given \(\Oo \)-monoidal \(\infty \)-categories \(C\) and \(D\), a lax \(\Oo \)-monoidal functor \(C \to D\) is an operad morphism \(\Mm _{C/\Oo } \to \Mm _{D/\Oo }\) over \(\Oo ^{\otimes }\).
Generated from the authoritative LaTeX source.