Monoidal Envelopes of Families of $\infty$-Operads and $\infty$-Operadic Kan Extensions

Kensuke Arakawa

We provide details of the proof of Lurie's theorem on operadic Kan extensions. Along the way, we generalize the construction of monoidal envelopes of $\infty$-operads to families o…