Free algebras via monoidal envelopes

Max Blans, Sil Linskens

For any morphism of $\infty$-operads $\mathcal{P}\to \mathcal{O}$, we show that the free $\mathcal{O}$-algebra on a $\mathcal{P}$-algebra admits an explicit formula as the colimit…