Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

The root functor

T0 review · 3 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every normal dendroidal ∞-operad is an operadic weak equivalence to the localization at root-preserving maps of the nerve of its discrete, Σ-free operad of elements.

desk verdict A genuinely new operadic delocalization construction with a plausible main theorem, but the proof of Theorem 3.13 contains an unproven cocontinuity reduction that as written proves only the tree case. read the letter →

arxiv 2505.14288 v2 pith:TGWBZRHI submitted 2025-05-20 math.AT math.CT

Francesca Pratali This is my paper · ORCID
classification math.ATmath.CT
keywords inftylocalizationoperadoperadicalgebrasalonganothercategories
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Operads are algebraic gadgets with operations of many inputs and one output: a binary operation, a ternary operation, and so on. An ∞-operad is a homotopy-coherent version, where operation spaces can have topology and composition is only associative up to coherent homotopy. Working with ∞-operads is often hard because of all that coherence data. This paper shows that every ∞-operad can be built from a much simpler object: a discrete operad, one where every space of operations is a set.

The construction starts with a dendroidal set X, the operadic analogue of a simplicial set. The paper defines its operad of elements Ω/X. The objects of Ω/X are the trees inside X, and the operations are certain maps between forests. Then it defines the root functor r_X, which sends a tree in Ω/X to the root edge of its image in X. The main theorem says that after inverting the root-preserving maps, the nerve of Ω/X becomes weakly equivalent to X itself.

This is the operadic version of a classical fact for categories: every category is a localization of its category of elements. The paper uses this to describe algebras over an ∞-operad: an algebra is the same as a locally constant algebra over the discrete operad Ω/X, meaning the algebra sends the inverted root-preserving maps to equivalences.

Extended reading notes

Core claim

Theorem 3.13: for any normal dendroidal set X, the root functor r_X induces an operadic weak equivalence of dendroidal sets r_X : N_d(Ω/X)[R_X^{-1}] → X, where R_X is the set of root-preserving morphisms of the discrete, Σ-free operad of elements Ω/X. If correct, this yields the abstract's claim that every ∞-operad is equivalent to the localization of a discrete Σ-free operad.

Load-bearing premise

The proof of Theorem 3.13 reduces the statement from an arbitrary normal dendroidal set X to a representable tree by asserting that the assignment X ↦ L(N_d(Ω/X), R_X) is cocontinuous and preserves normal monomorphisms. This assertion is not established in Proposition 3.9, which proves cocontinuity only for N_d(Ω/-); the localization construction L(-,R_-) involves the varying set R_X and is not obviously functorial or cocontinuous in X. If this reduction fails, the theorem is proved only for trees. The location is the first paragraph of the proof of Theorem 3.13.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. The paper introduces, for a dendroidal set X, the operad of elements Ω/X and the root functor r_X: N_d(Ω/X) → X, extending Joyal's last-vertex functor for simplicial sets to the dendroidal setting. The central claim is Theorem 3.13: for every normal dendroidal set X, localizing N_d(Ω/X) at the set R_X of root-preserving morphisms turns r_X into an operadic weak equivalence, so every ∞-operad is a localization of a discrete Σ-free operad. The paper also studies the interaction of dendroidal localization with the covariant model structure, uses this to describe algebras over an ∞-operad as locally constant algebras over its operad of elements, and closes with a general framework of operadic décalage in Section 5.

Significance. If Theorem 3.13 is correct, the paper provides a clean and conceptual extension of Joyal's delocalization theorem, with a natural discrete operad associated to any dendroidal set. The paper is well organized, contains an explicit pushout model for localization (Proposition 2.4), and gives a genuinely useful application to the description of algebras over ∞-operads in terms of locally constant algebras. The operadic décalage of Section 5 is a promising abstraction that may have applications beyond dendroidal sets. However, the main theorem currently rests on an unproved cocontinuity assertion, so the significance of the paper will be fully realized only after that gap is closed.

major comments (3)
  1. [Theorem 3.13, first paragraph of proof] The proof begins by asserting that, by Proposition 3.9, the functor L(−, R_−) : dSets → dSets is cocontinuous and preserves normal monomorphisms, and that this permits a skeletal filtration reducing the claim to representable trees. Proposition 3.9 proves cocontinuity and normal-monomorphism preservation only for N_d(Ω/−); it says nothing about the localization functor L(−, R_X), whose second argument is the varying set R_X of root-preserving morphisms of Ω/X. Since L(X,S) is defined by the pushout (2.1) involving the set S, cocontinuity of X ↦ L(N_d(Ω/X), R_X) would require that the assignment X ↦ R_X be compatible with the colimits used in the skeletal filtration. This is not established and is not automatic: a 1-simplex in a colimit of categories of elements can be a composite of morphisms coming from different pieces, and such a composite can be root-preserving even when its factors are not. As written, the reduction is therefore unjustified, and the theorem is proved only for the case X ≃ T a tree. This gap also affects Corollaries 3.14 and 3.15 and Corollary 4.10, which rely on Theorem 3.13.
  2. [Proposition 3.9] The proof of cocontinuity of N_d(Ω/−) is only a sketch. The natural equivalence ψ_X : θ̂(X) → N_d(Ω/X) is constructed by induction on the number of vertices of a tree, but the base-case bijections are asserted rather than demonstrated, naturality in X and in T is not verified in detail, and the compatibility of the Segal isomorphisms with the associativity and symmetry of grafting is described only informally. Since Proposition 3.9 is the first step in the reduction in Theorem 3.13 and is also what allows the root functor to be extended from trees to arbitrary dendroidal sets in Definition 3.11, a complete proof is needed.
  3. [Proposition 4.4] The proof that the S/X-local covariant model structure is Quillen equivalent to the covariant model structure over X[S^{-1}] is too compressed at two points: the construction of Y is claimed to produce a dendroidal left fibration because its pullback along a surjection is a left fibration, and the statement 'It is straightforward to check that Rλ^* is fully faithful' is a nontrivial derived-functor assertion. Since Proposition 4.4 is a load-bearing input for Corollary 4.10, these steps should be spelled out.
minor comments (6)
  1. [Abstract and Introduction] The abstract and introduction state the theorem for 'any ∞-operad', while Theorem 3.13 is stated for normal dendroidal sets; the passage to arbitrary ∞-operads via normalization (Definition 2.1) should be made explicit.
  2. [Throughout] There are numerous typographical errors, including '8-operad' for '∞-operad', 'opewrad', 'phenomenom', 'n-dimentional', 'Hinich-Moeridjk', and various grammatical slips such as 'it is an homotopy pushout'.
  3. [Proposition 3.9] The notation θ̂ appears garbled as 'pθ' in the displayed text; the proof would benefit from a more explicit statement of the naturality in X and T.
  4. [Theorem 3.13, proof] The proof invokes a natural map N_d(Ω/T) ⊗ C_1 → N_d(Ω/T ⊗ C_1) without defining it; a reference or a brief construction of this map should be supplied.
  5. [Corollary 4.10] The simplicial operad W_!(X) and the zig-zag in part (2) are not defined in the statement; the notation should be introduced, even if the details are left to the cited references.
  6. [Section 5] The comparison between the general operadic décalage and the special features of the dendroidal root functor is informal; a summary table or a closing list of which properties are proven and which are expected would improve readability.
Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters or fitted constants appear; the paper is a pure homotopy-theoretic construction. The axioms listed are the standard model-structure and un/straightening theorems invoked from the literature. The operad of elements and the root functor are defined constructions rather than postulated entities, so no invented entities are recorded.

assumptions (6)
  • standard math Existence and properties of the operadic model structure on dSets, with normal monomorphisms as cofibrations and dendroidal ∞-operads as fibrant objects.
    Invoked as Theorem 1.8 from Cisinski-Moerdijk [CM11]; used throughout, especially in Definition 2.2 and Theorem 3.13.
  • standard math Existence of the covariant model structure on dSets/X with dendroidal left fibrations as fibrant objects.
    Invoked as Theorem 1.11 from Heuts [Heu11]; used in Section 4, Proposition 4.4 and Corollary 4.10.
  • domain assumption Operadic un/straightening equivalence for Σ-free operads from [Pra25, Theorem 5.9].
    The author's prior paper supplies equation (4.1), the load-bearing input for Proposition 4.9 and Corollary 4.10. It is not reproven here.
  • standard math The stable model structure on dendroidal sets is a left Bousfield localization and is Quillen equivalent to group-like E∞-spaces.
    Used for Corollary 3.14; cited to Bašić-Nikolaus [BN14] and Boavida de Brito-Moerdijk [BdBM20].
  • standard math The pushout construction in Proposition 2.4 computes the derived localization of a normal dendroidal set.
    The proof uses left properness of the operadic model structure and identifies the pushout with the homotopy pushout.
  • standard math Every dendroidal set admits a normalization to a normal dendroidal set via X × W*E → X.
    Used to extend statements to non-normal dendroidal sets in Section 2.1; cited to [HM22, Remark 9.21].

how reviews work

0 comments
Cite this review

Pith. "Pith review of The root functor." pith.science (2026). https://pith.science/paper/TGWBZRHI

@misc{pith2026250514288,
  author       = {Pith},
  title        = {Pith review of: The root functor},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TGWBZRHI}},
  note         = {Machine review of arXiv:2505.14288}
}
abstract

In this paper, we show that any $\infty$-operad is equivalent to the localization of a discrete $\Sigma$-free operad; this result extends Joyal's delocalization theorem for categories to the operadic setting. Along the way, we pursue a systematic study of $\infty$-operadic localization in the dendroidal context and its compatibility with un/straightening equivalences, deducing another description of algebras over $\infty$-operads.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Relative dendroidal Rezk nerve and applications

    math.AT 2026-06 unverdicted novelty 6.0 of 10

    Extends the dendroidal Rezk nerve to relative ∞-operads and relates it to localization to obtain new results on operadic localizations and factorization algebras.

Reference graph

Works this paper leans on

32 extracted references · 29 canonical work pages · cited by 1 Pith paper

  1. [1]

    Factorization homology of stratified spaces

    David Ayala, John Francis, and Hiro Lee Tanaka. Factorization homology of stratified spaces. Selecta Mathematica , 23(1):293--362, 2017

    work page 2017

  2. [2]

    From operator categories to higher operads

    Clark Barwick. From operator categories to higher operads. Geometry & Topology , 22(4):1893--1959, 2018. Publisher: Mathematical Sciences Publishers

    work page 1959

  3. [3]

    Dendroidal spaces, -spaces and the special Barratt--Priddy--Quillen theorem

    Pedro Boavida de Brito and Ieke Moerdijk. Dendroidal spaces, -spaces and the special Barratt--Priddy--Quillen theorem . Journal f \"u r die reine und angewandte Mathematik (Crelles Journal) , 2020(760):229--265, 2020

    work page 2020

  4. [4]

    Manifold calculus and homotopy sheaves

    Pedro Boavida de Brito and Michael S Weiss. Manifold calculus and homotopy sheaves. Homology, Homotopy and Applications , 15(2):361--383, 2013

    work page 2013

  5. [5]

    Dendroidal sets as models for connective spectra

    Matija Ba s i \'c and Thomas Nikolaus. Dendroidal sets as models for connective spectra. Journal of \(K\)-Theory , 14(3):387--421, 2014

    work page 2014

  6. [6]

    Boardman and Rainer M

    John M. Boardman and Rainer M. Vogt. Homotopy invariant algebraic structures on topological spaces , volume 347. Lecture Notes in Mathematics, Vol. 347, Springer-Verlag, 1973

    work page 1973

  7. [7]

    Higher categories and homotopical algebra , volume 180

    Denis-Charles Cisinski. Higher categories and homotopical algebra , volume 180. Cambridge University Press, 2019

    work page 2019

  8. [8]

    Dendroidal sets as models for homotopy operads

    Denis-Charles Cisinski and Ieke Moerdijk. Dendroidal sets as models for homotopy operads. J. Topol. , 4(2):257--299, 2011

    work page 2011

Show all 32 references
  1. [9]

    Dendroidal S egal spaces and -operads

    Denis-Charles Cisinski and Ieke Moerdijk. Dendroidal S egal spaces and -operads. Journal of Topology , 6(3):675--704, 2013

    2013

  2. [10]

    Dendroidal sets and simplicial operads

    Denis-Charles Cisinski and Ieke Moerdijk. Dendroidal sets and simplicial operads . Journal of Topology , 6(3):705--756, 04 2013

    2013

  3. [11]

    Embeddings from the point of view of immersion theory: Part ii

    Thomas G Goodwillie and Michael Weiss. Embeddings from the point of view of immersion theory: Part ii. Geometry & Topology , 3(1):103--118, 1999

    1999

  4. [12]

    Calculus of Fractions and Homotopy Theory

    Peter Gabriel and Michel Zisman. Calculus of Fractions and Homotopy Theory . Springer-Verlag New York, 1967

    1967

  5. [13]

    Algebras over -operads

    Gijs Heuts. Algebras over -operads. arXiv:1110.1776 , 2011

    2011 arXiv

  6. [14]

    On the equivalence between L urie's model and the dendroidal model for -operads

    Gijs Heuts, Vladimir Hinich, and Ieke Moerdijk. On the equivalence between L urie's model and the dendroidal model for -operads. Advances in Mathematics , 302:869--1043, 2016

    2016

  7. [15]

    Hirschhorn

    Philip S. Hirschhorn. Model Categories and Their Localizations . Mathematical surveys and monographs. American Mathematical Society, 2003

    2003

  8. [16]

    Simplicial and dendroidal homotopy theory , volume 75 of Ergeb

    Gijs Heuts and Ieke Moerdijk. Simplicial and dendroidal homotopy theory , volume 75 of Ergeb. Math. Grenzgeb., 3. Folge . Cham: Springer, 2022

    2022

  9. [17]

    On the equivalence of the L urie's -operads and dendroidal -operads

    Vladimir Hinich and Ieke Moerdijk. On the equivalence of the L urie's -operads and dendroidal -operads. https://arxiv.org/abs/2206.14033 , 2024

    2024 arXiv

  10. [18]

    Notes on quasi-categories

    Andr \'e Joyal. Notes on quasi-categories. available for download at http://www.fields.utoronto.ca/av/slides/06-07/crs-quasibasic/joyal/download.pdf , 2007

    2007

  11. [19]

    -operadic foundations for embedding calculus

    Manuel Krannich and Alexander Kupers. -operadic foundations for embedding calculus. arXiv preprint arXiv:2409.10991 , 2024

    2024

  12. [20]

    The simplicial model of univalent foundations (after V oevodsky)

    Krzysztof Kapulkin and Peter LeFanu Lumsdaine. The simplicial model of univalent foundations (after V oevodsky). Journal of the European Mathematical Society , 23(6):2071--2126, 2021

    2021

  13. [21]

    Higher Topos Theory

    Jacob Lurie. Higher Topos Theory . Princeton University Press, 2009

    2009

  14. [22]

    Higher Algebra

    Jacob Lurie. Higher Algebra . Available at http://math.ias.edu/ lurie/., 2017

    2017

  15. [23]

    La th \'e orie de l'homotopie de Grothendieck

    Georges Maltsiniotis et al. La th \'e orie de l'homotopie de Grothendieck . Soci \'e t \'e math \'e matique de France, 2005

    2005

  16. [24]

    The geometry of iterated loop spaces , volume 271

    J Peter May. The geometry of iterated loop spaces , volume 271. Springer, 2006

    2006

  17. [25]

    Dendroidal sets

    Ieke Moerdijk and Ittay Weiss. Dendroidal sets. Algebraic & Geometric Topology , 7:1441--1470, 2007

    2007

  18. [26]

    Rectification of dendroidal left fibrations

    Francesca Pratali. Rectification of dendroidal left fibrations. arXiv:2502.17415 , 2025

    2025 arXiv

  19. [27]

    The homotopy theory of simplicially enriched multicategories

    Marcy Robertson. The homotopy theory of simplicially enriched multicategories. https://arxiv.org/abs/1111.4146 , 2011

    2011 arXiv

  20. [28]

    Covariant model structures and simplicial localization

    Danny Stevenson. Covariant model structures and simplicial localization. North-West. Eur. J. Math. , 3:141--202, 2017

    2017

  21. [29]

    Algebraic K -theory of spaces

    Friedhelm Waldhausen. Algebraic K -theory of spaces. In Andrew Ranicki, Norman Levitt, and Frank Quinn, editors, Algebraic and Geometric Topology , pages 318--419, Berlin, Heidelberg, 1985. Springer Berlin Heidelberg

    1985

  22. [30]

    Embeddings from the point of view of immersion theory: Part I

    Michael Weiss. Embeddings from the point of view of immersion theory: Part I . Geometry & Topology , 3(1):67--101, 1999

    1999

  23. [31]

    Joyal, Notes on quasi-categories, preprint, available for download athttp://www.fields.utoronto.ca/av/slides/06-07/crs-quasibasic/joyal/download.pdf, (2007)

    A. Joyal, Notes on quasi-categories, preprint, available for download athttp://www.fields.utoronto.ca/av/slides/06-07/crs-quasibasic/joyal/download.pdf, (2007)

    2007

  24. [32]

    Lurie, Higher algebra, available for download at the authors webpage at http://www.math.harvard.edu/ lurie/papers/higheralgebra.pdf, (2015)

    J. Lurie, Higher algebra, available for download at the authors webpage at http://www.math.harvard.edu/ lurie/papers/higheralgebra.pdf, (2015)

    2015

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.