arxiv: 2605.03150 · v1 · submitted 2026-05-04 · 🧮 math.CT · math.AT

Recognition: unknown

Free algebras via monoidal envelopes

Max Blans, Sil Linskens

Pith reviewed 2026-05-08 01:36 UTC · model grok-4.3

classification 🧮 math.CT math.AT

keywords free algebrasmonoidal envelopesinfinity-operadsrelative free algebrascolimitsoperad morphismshigher category theory

0 comments

The pith

For any map of infinity-operads, the free algebra in the target is the colimit over the monoidal envelope of the source.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that given a morphism from one infinity-operad P to another O, the free O-algebra generated by any P-algebra equals the colimit taken over the O-monoidal envelope of P. This formula replaces abstract existence arguments with a direct construction. A sympathetic reader cares because free algebras are fundamental tools for building new structures from old ones in homotopy theory and algebra, and an explicit description makes them easier to work with and compute. The result also supplies a short proof that relative free algebras exist in full generality.

Core claim

For any morphism of ∞-operads P → O, the free O-algebra on a P-algebra is given by the colimit over the O-monoidal envelope of P. This supplies both an explicit formula for the free algebra and a new, elementary proof of its existence.

What carries the argument

The O-monoidal envelope of P, which is the O-operad obtained by freely adjoining the structure of O to P; the colimit of its algebras is the free O-algebra on the original P-algebra.

If this is right

Relative free O-algebras exist for every morphism of infinity-operads.
The free algebra functor admits a direct, colimit-based description rather than an abstract adjointness argument.
The construction works uniformly for any operad map, including the case where P is the initial operad.
Compositions of free-algebra functors can be unwound by composing the corresponding monoidal envelopes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same colimit expression may simplify explicit calculations of free algebras when P and O are familiar operads such as the associative or commutative ones.
The envelope construction could be iterated to obtain formulas for free algebras under sequences of operad maps.
The method suggests analogous explicit formulas might exist for free objects in other higher-categorical settings where monoidal envelopes can be defined.

Load-bearing premise

The O-monoidal envelope of P is well-defined inside the infinity-category of O-algebras and the colimit over it satisfies the universal property of the free O-algebra.

What would settle it

A concrete morphism of infinity-operads P to O together with a P-algebra whose associated colimit over the envelope fails to satisfy the universal property of the free O-algebra.

read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Blans and Linskens give a clean explicit colimit formula for relative free O-algebras on P-algebras via the monoidal envelope, and the proof checks out with no major gaps.

read the letter

This paper gives an explicit construction of the free O-algebra on a P-algebra for a map of ∞-operads P to O, as a colimit over the O-monoidal envelope of P. It also offers what looks like a simpler proof of the existence of these relative free algebras. The new part is the concrete colimit formula rather than just knowing it exists abstractly. They define the envelope by pushing forward along the operad morphism, then compute the colimit inside Alg_O. To check it satisfies the universal property, they show the adjunction isomorphism on mapping spaces, relying on the envelope's universal property and the fact that colimits in Alg_O are computed objectwise in the underlying category. That approach seems direct and avoids some heavier machinery. The argument holds up without obvious holes in the ∞-categorical details. The colimits exist by standard reasons in presentable categories, and the verification is straightforward once the envelope is set up. One minor point is that readers will still need to be comfortable with the basics of ∞-operads and monoidal envelopes to follow the details, but that's expected for this area. No circular reasoning or unverified assumptions jump out. This is aimed at specialists in higher algebra who work with operads and algebras in ∞-categories. If you're doing computations or need an explicit model for free algebras, this could save time. It deserves a serious referee. The explicit formula is a genuine technical advance that could be cited in future work on relative operads. I'd send it to peer review.

Referee Report

0 major / 0 minor

Summary. The paper proves that for any morphism of ∞-operads P → O, the free O-algebra on a P-algebra is given explicitly by the colimit (taken in Alg_O) over the O-monoidal envelope of P. This construction is obtained via the standard pushforward of the operad map and yields a new, simple proof of the existence of relative free O-algebras by verifying the universal property through an adjunction isomorphism on mapping spaces.

Significance. If the result holds, the explicit colimit formula and the reduction to the universal property of the monoidal envelope plus objectwise computation of colimits in Alg_O constitute a clean advance in the theory of ∞-operads. The argument relies only on prior definitions and standard facts about envelopes and colimits, with no ad-hoc parameters or invented entities, which strengthens its utility for further work in higher operadic algebra.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, for the accurate summary of our main result, and for the positive recommendation to accept. We are pleased that the referee views the explicit colimit formula and the reduction to the universal property of the monoidal envelope as a clean advance.

Circularity Check

0 steps flagged

Explicit construction from prior definitions; no circularity

full rationale

The paper derives the free O-algebra on a P-algebra as the colimit of the O-monoidal envelope of P for a morphism of ∞-operads P → O. This follows directly from the standard definitions of ∞-operads, the pushforward construction of the monoidal envelope, and the universal property of colimits in Alg_O (computed objectwise). The argument exhibits the required adjunction isomorphism on mapping spaces using these established properties, without any self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations that reduce the central claim to unverified inputs. The construction is self-contained against the background of higher category theory and provides an independent verification of the existence of relative free algebras.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the standard framework of ∞-operads, the definition of monoidal envelopes, and the existence of colimits in the ∞-category of O-algebras; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

standard math Standard axioms and coherence data of ∞-category theory and ∞-operads
The statement presupposes the established theory of ∞-operads and their algebras.

pith-pipeline@v0.9.0 · 5339 in / 1177 out tokens · 58864 ms · 2026-05-08T01:36:49.665781+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

8 extracted references · 1 canonical work pages

[1]

Antol\' n-Camarena, T

O. Antol\' n-Camarena, T. Barthel, A simple universal property of Thom ring spectra. J. Topol. 12 (2018), no. 1, 56-78

2018
[2]

Blans, G

M. Blans, G. Heuts, A characterization of the spectral Lie operad. In preparation
[3]

Barkan, R

S. Barkan, R. Haugseng and J. Steinebrunner, Envelopes for algebraic patterns. Algebr. Geom. Topol. 25 (2025), 5319–5388

2025
[4]

Linskens, D

S. Linskens, D. Nardin, L. Pol, Global homotopy theory via partially lax limits. Geom. Topol. 29 (2025), no. 3, 1345–1440

2025
[5]

Lurie, Higher Topos Theory

J. Lurie, Higher Topos Theory. Annals of Mathematics Studies, vol. 170 , Princeton University Press (2009)

2009
[6]

Lurie, Higher Algebra

J. Lurie, Higher Algebra. available from the author's webpage https://www.math.ias.edu/ lurie/papers/HA.pdf (2017)

2017
[7]

Nardin, J

D. Nardin, J. Shah, Parametrized and equivariant higher algebra. arXiv: 2203.00072 (2022)

work page arXiv 2022
[8]

Schlichtkrull, The homotopy infinite symmetric product represents stable homotopy

C. Schlichtkrull, The homotopy infinite symmetric product represents stable homotopy. Algebr. Geom. Topol. 7 (2007), 1963--1977

2007