{"id":"arxiv/2605.03150","url":"https://arxiv.org/abs/2605.03150","tags":["math.CT","math.AT"],"score":0,"title":"Free algebras via monoidal envelopes","domain":"math.CT","source":"arxiv","authors":["Max Blans","Sil Linskens"],"reviews":0,"subject":"math.CT","summary":"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 over the $\\mathcal{O}$-monoidal envelope of $\\mathcal{P}$, providing a new and simple proof of the existence of relative free $\\mathcal{O}$-algebras.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-04","reactions":{}}