REVIEW 5 minor 12 references
An enriched ∞-operad is completely determined by its right-module category together with a marking of the representable modules.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-10 23:35 UTC pith:Z4OIXFH5
load-bearing objection Clean recognition theorem that turns enriched ∞-operads into marked presentable monoidal categories, with a direct Lurie comparison that holds up.
Enriched infty-operads as marked algebras
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For any presentably monoidal ∞-category V, the assignment that sends a V-enriched operad O with color space X to the operadic Yoneda marking X o P⊗_V(O) induces a fully faithful embedding of the category of such operads into the slice of presentably monoidal V-modules under X. The essential image consists precisely of the functors that are ⊗-atomic markings whose image generates under colimits, V-tensoring and the symmetric monoidal structure.
What carries the argument
⊗-atomic markings: a functor y : X o M from a space into a presentably monoidal V-module is ⊗-atomic when the unique extension P(Sym X) ⊗ V o M is an internal left adjoint in the 2-category of presentably monoidal V-modules (equivalently, finite tensor products of marked objects are atomic, satisfy the hereditary condition, and the unit condition). The monadic adjunctions associated to these markings recover the operads.
Load-bearing premise
The whole identification rests on the existence of a well-behaved (∞,2)-category of presentably monoidal V-modules that admits Eilenberg–Moore objects created by the forgetful functors and whose composition preserves sifted colimits in the left variable.
What would settle it
Exhibit a presentably monoidal V and a monadic adjunction in CAlg(RMod_V(Pr)) whose free functor is colimit-dominant and ⊗-atomic, yet the corresponding algebra object in Fun(Sym X imes X, V) fails to be an enriched operad (or vice versa).
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines V-enriched ∞-operads (for presentably symmetric monoidal V) as monads in the (∞,2)-category CAlg(RMod_V(Pr)) of presentably symmetric monoidal V-module categories, equivalently as algebras for the composition product on X-colored symmetric sequences. It proves that such an operad is completely determined by its category of right modules (the Eilenberg–Moore object) together with a marking of the representable modules: the assignment O ↦ (X o P^⊗_V(O)) is a fully faithful embedding of vOp_X(V) into CAlg(RMod_V(Pr))^{X/} whose essential image consists of the ⊗-atomic markings that generate under colimits, V-tensoring and the monoidal structure (Theorem A / 4.6). The paper introduces fissile categories so that ⊗-atomicity can be checked objectwise (Theorem B / 4.16), defines univalence, and constructs an equivalence between univalent S-enriched operads and Lurie’s Op (Theorems C / 5.9, 5.16). Envelopes and categories of algebras are defined and shown to agree with Lurie’s notions in the S-enriched case. Appendix A constructs the ambient (∞,2)-category and verifies that it admits Eilenberg–Moore objects created by the forgetful functors.
Significance. If correct, the result supplies a clean, monadic description of enriched ∞-operads that reduces many questions (envelopes, algebras, univalence, Cauchy completion) to the well-developed theory of presentably symmetric monoidal categories. The comparison with Lurie’s model is direct and recovers the expected envelopes and algebra categories, while the notions of ⊗-atomic marking and fissile category appear new and useful. The paper is careful about concurrent single-colored work and situates itself relative to Haugseng, Brantner–Heuts and others. The main theorems rest on a complete chain of definitions and recognition criteria rather than on ad-hoc parameters; once the 2-categorical infrastructure of Appendix A is granted, the rest follows by standard Barr–Beck and Yoneda arguments already used for enriched categories.
minor comments (5)
- The reverse composition product ⊙< is introduced without a short mnemonic; a one-sentence reminder that algebras for the reverse product are equivalent to ordinary algebras would help readers coming from the classical literature.
- Warning 3.11 and Remark 3.8 give useful intuition about why ⊗-atomicity is not objectwise; a forward pointer from Definition 1.2 / Observation 3.6 would make the later introduction of fissile categories feel less abrupt.
- In the comparison section the phrase “flagged ∞-operads” is used both for the intermediate objects and for the full subcategory of FOp; a brief notational distinction (e.g., flagged vs. univalent flagged) would reduce momentary confusion.
- A few typographical slips remain (e.g., “phlethysm”, “valent” vs. “univalent” in running text, occasional missing spaces around ⊗). None affect readability of the mathematics.
- The appendix is long but essential; a short roadmap at the beginning of Appendix A listing the precise statements used in the main text (A.33, A.35, A.38) would help the reader who only needs those results.
Circularity Check
No significant circularity: monadic recognition of enriched operads follows from Barr–Beck after independent construction of the ambient 2-category; self-citations supply only background analogies.
full rationale
The paper defines V-enriched operads as monads in the (∞,2)-category CAlg(RMod_V(Pr)) (Def. 2.1, App. A), then characterises the associated monadic left adjoints by ⊗-atomic markings that generate under colimits, V-tensoring and the monoidal structure (Thm. 4.6 / Thm. A). Appendix A constructs the 2-category via the ⋆-product, proves composition preserves sifted colimits (Thm. A.33) and that Eilenberg–Moore objects exist and are created by the forgetful functors to dCat (Thm. A.35). Once these are granted, Prop. 4.1–4.3 and Thm. 4.6 are ordinary Barr–Beck + Yoneda arguments. The comparison with Lurie’s Op (Thm. 5.9, 5.16) is a direct construction via envelopes and the Steinebrunner argument (Thm. 3.42), not a tautological rewrite. Self-citations to the author’s prior work [RZ25] are used only for analogous statements about enriched categories (e.g. “analogous to [RZ25, Cor. 6.6]” in Prop. 4.23) and do not load-bear the operadic recognition theorem; the fissile-category technology and hereditary condition are developed afresh. No fitted parameters, uniqueness theorems imported as external facts, or definitional self-reference appear. Score 1 reflects only the minor, non-load-bearing self-citation pattern that is normal in a sequel paper.
Axiom & Free-Parameter Ledger
axioms (4)
- standard math Presentable ∞-categories and the tensor product of Pr form a closed symmetric monoidal ∞-category; colimit-preserving functors are left adjoints (Lurie HA).
- domain assumption The 2-category CAlg(RMod_V(Pr)) admits Eilenberg–Moore objects created by the forgetful functors to dCat, and composition preserves sifted colimits in the left variable.
- standard math Barr–Beck–Lurie monadicity theorem applies in dCat and is created by the forgetful 2-functors from CAlg(Pr_V).
- domain assumption Envelopes of Lurie operads are ⊗-disjunctive and induce internal left adjoints after presheafification (Steinebrunner argument, Thm 3.42).
invented entities (4)
-
⊗-atomic marking / ⊗-atomic object
no independent evidence
-
fissile category
no independent evidence
-
valent / univalent V-enriched operad
no independent evidence
-
marked V-algebra
no independent evidence
read the original abstract
We show that an enriched $\infty$-operad is completely determined by its category of right modules together with a `marking' of the representable modules. More precisely, for any presentably monoidal $\infty$-category $\mathcal{V}$ we construct an equivalence between the category of colored $\mathcal{V}$-enriched $\infty$-operads and a certain full subcategory of the category of presentably symmetric monoidal $\mathcal{V}$-module $\infty$-categories equipped with a functor from an $\infty$-groupoid. This effectively allows us to reduce many aspects of enriched $\infty$-operad theory to the theory of presentably symmetric monoidal $\infty$-categories. As an application, we describe a notion of univalence (or Rezk-completeness) for enriched $\infty$-operads, and directly construct an equivalence between univalent $\mathcal{S}$-enriched $\infty$-operads in our sense and Lurie's model of $\infty$-operads. We study envelopes and categories of algebras for enriched $\infty$-operads and show that, in the $\mathcal{S}$-enriched case, the resulting notions agree in both models.
Reference graph
Works this paper leans on
-
[1]
[Ara26] Kensuke Arakawa. On the equivalence of Brantner’s and Chu–Haugseng’s approaches to enriched ∞-operads.arXiv preprint arxiv.2603.23019,
-
[2]
On the chain rule in Goodwillie calculus
[BB24] Max Blans and Thomas Blom. On the chain rule in Goodwillie calculus.arXiv preprint arXiv:2410.20504,
work page internal anchor Pith review Pith/arXiv arXiv
-
[3]
Symmetric sequences,∞-operads, and the universal Lie algebra
[BH] Lukas Brantner and Gijs Heuts. Symmetric sequences,∞-operads, and the universal Lie algebra. in preparation. [Blo24] Thomas Blom. On the straightening of every functor.arXiv preprint arXiv:2408.16539,
-
[4]
A monadicity theorem for higher algebraic structures.arXiv preprint arXiv:1712.00555,
[Hei17] Hadrian Heine. A monadicity theorem for higher algebraic structures.arXiv preprint arXiv:1712.00555,
-
[5]
The higher algebra of weighted colimits
38 [Hei24a] Hadrian Heine. The higher algebra of weighted colimits.arXiv preprint arXiv:2406.08925,
work page internal anchor Pith review Pith/arXiv arXiv
-
[6]
On bi-enriched $\infty$-categories
[Hei24b] Hadrian Heine. On bi-enriched∞-categories.arXiv preprint arXiv:2406.09832,
work page internal anchor Pith review Pith/arXiv arXiv
-
[7]
Koszul duality and a conjecture of Francis-Gaitsgory
[Heu24] Gijs Heuts. Koszul duality and a conjecture of Francis-Gaitsgory.arXiv preprint arXiv:2408.06173,
work page internal anchor Pith review Pith/arXiv arXiv
-
[8]
The Algebra of Categorical Spectra
[Mas26] Naruki Masuda. The algebra of categorical spectra.arXiv preprint arXiv:2605.03114,
work page internal anchor Pith review Pith/arXiv arXiv
-
[9]
Dualizable presentable $\infty$-categories
[Ram24] Maxime Ramzi. Dualizable presentable∞-categories.arXiv preprint arXiv:2410.21537,
work page internal anchor Pith review Pith/arXiv arXiv
-
[10]
Enriched $\infty$-categories as marked module categories
[RZ25] David Reutter and Markus Zetto. Enriched∞-categories as marked module categories.arXiv preprint arXiv:2501.07697,
work page internal anchor Pith review Pith/arXiv arXiv
-
[11]
Presentable $(\infty, n)$-categories
[Ste20] Germán Stefanich. Presentable(∞, n)-categories.arXiv preprint arXiv:2011.03035,
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[12]
Large condensation in enriched $\infty$-categories
[Sto25] Devon Stockall. Large condensation in enriched∞-categories.arXiv preprint arXiv:2506.23632,
work page internal anchor Pith review Pith/arXiv arXiv
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.