Lurie operadic envelope

Construction 17.4.5. Using Lemma 17.4.4, Proposition 5.3.9, we define the Lurie operadic envelope \[ \Env ^{\mathrm {Lurie}}\colon \Op _\infty ^{\mathrm {Lurie}} \longrightarrow \Cat _\infty ^\otimes \] as the functor \(\Env _{\Ff _{\mathrm {Lurie}}}\) of Proposition 17.3.12, followed by the equivalence from \(\Ff _{\mathrm {Lurie}}\)-monoidal \(\infty \)-categories to symmetric monoidal \(\infty \)-categories.