Pith. sign in

REVIEW 1 minor 31 references

Polynomial $2$-monads and delooping

T0 review · 0 major / 1 minor · reviewed 2026-06-29 · grok-4.3

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

Pith's one-line read A morphism of polynomial 2-monads is cofinal, providing a new proof of delooping for derived mapping spaces of infinitesimal bimodules.

desk verdict The paper applies the Batanin-Berger-Weber cofinality machinery to one specific morphism of polynomial 2-monads and thereby supplies a new proof of the Ducoulombier-Turchin delooping result. read the letter →

arxiv 2605.25222 v1 pith:IAR2DSFC submitted 2026-05-24 math.AT

Florian De Leger This is my paper · ORCID
classification math.AT
keywords polynomial2-monadscofinalitydeloopinginfinitesimalbimodulesderivedmappingspaceshomotopytheory2-categories
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

The paper proves the cofinality of a particular morphism of polynomial 2-monads by applying the homotopy theory of such monads. This cofinality result is then used to establish a new proof that derived mapping spaces of infinitesimal bimodules deloop. A sympathetic reader would care because the delooping clarifies the structure of these mapping spaces in higher category theory. The argument relies on extending existing frameworks for polynomial monads to the 2-categorical setting. The work connects monad cofinality directly to delooping phenomena in bimodule contexts.

What carries the argument

Cofinality of a morphism of polynomial 2-monads, which transfers homotopy-theoretic properties to prove delooping.

What would settle it

An explicit counter-computation showing the morphism fails to be cofinal on the relevant homotopy categories, or that the delooping does not follow from the cofinality, would disprove the claim.

Watch

Extended reading notes

Core claim

Using the homotopy theory of polynomial monads developed by Batanin and Berger and extended to the 2-categorical context by Weber, we prove the cofinality of a particular morphism of polynomial 2-monads. We apply our result to give a new proof of the delooping of derived mapping spaces of infinitesimal bimodules due to Ducoulombier and Turchin.

Load-bearing premise

The homotopy theory of polynomial monads developed by Batanin and Berger and extended to the 2-categorical context by Weber applies directly to establish cofinality for the particular morphism in question.

Editorial extensions

If this is right

  • Derived mapping spaces of infinitesimal bimodules deloop via the cofinality of the morphism.
  • The homotopy theory of polynomial 2-monads can be used to establish cofinalities in similar 2-categorical settings.
  • The delooping result for bimodule mapping spaces admits this alternative proof based on monad morphisms.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The cofinality technique might apply to other morphisms of polynomial 2-monads in related algebraic structures.
  • It could connect to delooping questions for other types of bimodules or operadic objects.
  • Further applications might involve explicit computations of homotopy groups arising from these deloopings.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 1 minor

Summary. The paper uses the homotopy theory of polynomial monads developed by Batanin and Berger, extended to the 2-categorical setting by Weber, to prove the cofinality of a specific morphism of polynomial 2-monads. It then applies this cofinality result to obtain a new proof of the delooping of derived mapping spaces of infinitesimal bimodules, a statement originally due to Ducoulombier and Turchin.

Significance. If the cofinality holds for the morphism in question, the work supplies an alternative proof of an existing delooping theorem by embedding it in the framework of polynomial 2-monads. The approach reuses established foundations without introducing new ad-hoc axioms or entities, which is a methodological strength when the hypotheses of the cited cofinality theorems are verified for the chosen morphism.

minor comments (1)
  1. The abstract refers to 'a particular morphism' without naming it or indicating its domain and codomain; a brief description in the introduction would help readers locate the application of the Batanin-Berger-Weber cofinality theorem.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and their recommendation to accept. The report correctly identifies the main contributions: the cofinality result for the morphism of polynomial 2-monads and its application to the delooping theorem for derived mapping spaces of infinitesimal bimodules.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper applies the existing homotopy theory of polynomial monads (Batanin-Berger, extended by Weber) to prove cofinality of one specific morphism of polynomial 2-monads, then uses the result to reprove a known delooping statement (Ducoulombier-Turchin). All load-bearing steps are external citations with no author overlap, no self-citation chains, and no internal reductions of predictions or definitions to fitted inputs. The derivation is therefore independent of its own outputs and relies on externally verifiable prior theorems.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The paper relies on established domain assumptions from prior literature without introducing new free parameters or invented entities based on the abstract.

assumptions (2)
  • domain assumption Homotopy theory of polynomial monads by Batanin and Berger
    Foundation for the proof of cofinality.
  • domain assumption Extension to the 2-categorical context by Weber
    Allows application in 2-monads.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Polynomial $2$-monads and delooping." pith.science (2026). https://pith.science/paper/IAR2DSFC

@misc{pith2026260525222,
  author       = {Pith},
  title        = {Pith review of: Polynomial $2$-monads and delooping},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IAR2DSFC}},
  note         = {Machine review of arXiv:2605.25222}
}
abstract

Using the homotopy theory of polynomial monads developed by Batanin and Berger and extended to the $2$-categorical context by Weber, we prove the cofinality of a particular morphism of polynomial $2$-monads. We apply our result to give a new proof of the delooping of derived mapping spaces of infinitesimal bimodules due to Ducoulombier and Turchin.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 1 canonical work pages

  1. [1]

    On the rational homology of high-dimensional analogues of spaces of long knots.Geometry & Topology, 18(3):1261–1322, 2014

    Gregory Arone and Victor Turchin. On the rational homology of high-dimensional analogues of spaces of long knots.Geometry & Topology, 18(3):1261–1322, 2014

    2014

  2. [2]

    Monoidal globular categories as a natural environment for the theory of weakn-categories.Advances in Mathematics, 136(1):39–103, 1998

    Michael Batanin. Monoidal globular categories as a natural environment for the theory of weakn-categories.Advances in Mathematics, 136(1):39–103, 1998

    1998

  3. [3]

    The Eckmann–Hilton argument and higher operads.Advances in Mathe- matics, 217(1):334–385, 2008

    Michael Batanin. The Eckmann–Hilton argument and higher operads.Advances in Mathe- matics, 217(1):334–385, 2008

    2008

  4. [4]

    Homotopy theory for algebras over polynomial monads

    Michael Batanin and Clemens Berger. Homotopy theory for algebras over polynomial monads. Theory and Applications of Categories, 32(6):148–253, 2017

    2017

  5. [5]

    Polynomial monads and delooping of mapping spaces

    Michael Batanin and Florian De Leger. Polynomial monads and delooping of mapping spaces. Journal of Noncommutative Geometry, 13(4):1521+, 2019

    2019

  6. [6]

    Quasi-tame substitudes and the Grothendieck construction.Theory and Applications of Categories, 44(24):676–730, 2025

    Michael Batanin, Florian De Leger, and David White. Quasi-tame substitudes and the Grothendieck construction.Theory and Applications of Categories, 44(24):676–730, 2025

    2025

  7. [7]

    Model structures on operads and algebras from a global perspective.Tunisian Journal of Mathematics, 8(3):389–412, 2026

    Michael Batanin, Florian De Leger, and David White. Model structures on operads and algebras from a global perspective.Tunisian Journal of Mathematics, 8(3):389–412, 2026

    2026

  8. [8]

    Pita factorisation in operadic categories

    Michael Batanin, Joachim Kock, and Mark Weber. Pita factorisation in operadic categories. arXiv preprint arXiv:2512.22794, 2025

    work page Pith review arXiv 2025

Show all 31 references
  1. [9]

    Combinatorial models for real configuration spaces andE n-operads.Con- temporary Mathematics, 202:37–52, 1997

    Clemens Berger. Combinatorial models for real configuration spaces andE n-operads.Con- temporary Mathematics, 202:37–52, 1997

    1997

  2. [10]

    On the homotopy theory of enriched categories.Quarterly Journal of Mathematics, 64(3):805–846, 2013

    Clemens Berger and Ieke Moerdijk. On the homotopy theory of enriched categories.Quarterly Journal of Mathematics, 64(3):805–846, 2013

    2013

  3. [11]

    Spaces of smooth embeddings and configuration categories.Journal of Topology, 11(1):65–143, 2018

    Pedro Boavida de Brito and Michael Weiss. Spaces of smooth embeddings and configuration categories.Journal of Topology, 11(1):65–143, 2018

    2018

  4. [12]

    Soci´ et´ e math´ ematique de France, 2006

    Denis-Charles Cisinski.Les pr´ efaisceaux comme mod` eles des types d’homotopie. Soci´ et´ e math´ ematique de France, 2006

    2006

  5. [13]

    Abstract substitution in enriched categories.Journal of Pure and Applied Algebra, 179(1-2):49–63, 2003

    Brian Day and Ross Street. Abstract substitution in enriched categories.Journal of Pure and Applied Algebra, 179(1-2):49–63, 2003

    2003

  6. [14]

    Homotopy theory for polynomial 2-monads

    Florian De Leger. Homotopy theory for polynomial 2-monads. In preparation

  7. [15]

    Cofinal morphism of polynomial monads and double delooping.Theory and Applications of Categories, 45(27):1117–1146, 2026

    Florian De Leger. Cofinal morphism of polynomial monads and double delooping.Theory and Applications of Categories, 45(27):1117–1146, 2026. 24 FLORIAN DE LEGER

    2026

  8. [16]

    Triple delooping for multiplicative hyperoperads.Applied Categorical Structures, 33(5):36, 2025

    Florian De Leger and Maroˇ s Grego. Triple delooping for multiplicative hyperoperads.Applied Categorical Structures, 33(5):36, 2025

    2025

  9. [17]

    Delooping derived mapping spaces of bimodules over an operad.Journal of Homotopy and Related Structures, 14(2):411–453, 2019

    Julien Ducoulombier. Delooping derived mapping spaces of bimodules over an operad.Journal of Homotopy and Related Structures, 14(2):411–453, 2019

    2019

  10. [18]

    Delooping the functor calculus tower.Proceedings of the London Mathematical Society, 124(6):772–853, 2022

    Julien Ducoulombier and Victor Turchin. Delooping the functor calculus tower.Proceedings of the London Mathematical Society, 124(6):772–853, 2022

    2022

  11. [19]

    Long knots and maps between operads.Geometry & Topology, 16(2):919–955, 2012

    William Dwyer and Kathryn Hess. Long knots and maps between operads.Geometry & Topology, 16(2):919–955, 2012

    2012

  12. [20]

    Springer, 2009

    Benoit Fresse.Modules over operads and functors. Springer, 2009

    2009

  13. [21]

    Number 99

    Philip Hirschhorn.Model categories and their localizations. Number 99. American Mathe- matical Society, 2009

    2009

  14. [22]

    Springer Science & Business Media, 1998

    Saunders Mac Lane.Categories for the working mathematician, volume 5. Springer Science & Business Media, 1998

    1998

  15. [23]

    The relative lattice path operad.Algebraic & Geometric Topology, 18(3):1753–1798, 2018

    Alexandre Quesney. The relative lattice path operad.Algebraic & Geometric Topology, 18(3):1753–1798, 2018

    2018

  16. [24]

    Every homotopy theory of simplicial algebras admits a proper model.Topology and its Applications, 119(1):65–94, 2002

    Charles Rezk. Every homotopy theory of simplicial algebras admits a proper model.Topology and its Applications, 119(1):65–94, 2002

    2002

  17. [25]

    Operads and knot spaces.Journal of the American Mathematical Society, 19(2):461–486, 2006

    Dev Sinha. Operads and knot spaces.Journal of the American Mathematical Society, 19(2):461–486, 2006

    2006

  18. [26]

    Delooping totalization of a multiplicative operad.Journal of Homotopy and Related Structures, 9(2):349–418, 2014

    Victor Turchin. Delooping totalization of a multiplicative operad.Journal of Homotopy and Related Structures, 9(2):349–418, 2014

    2014

  19. [27]

    The Swiss-cheese operad.Contemporary Mathematics, 239(365-374):11, 1999

    Alexander Voronov. The Swiss-cheese operad.Contemporary Mathematics, 239(365-374):11, 1999

    1999

  20. [28]

    Factorization systems and double categories.Theory and applications of categories, 41(18):551–592, 2024

    Miloslav ˇStˇ ep´ an. Factorization systems and double categories.Theory and applications of categories, 41(18):551–592, 2024

    2024

  21. [29]

    Internal algebra classifiers as codescent objects of crossed internal categories

    Mark Weber. Internal algebra classifiers as codescent objects of crossed internal categories. Theory and Applications of Categories, 30(50):1713–1792, 2015

    2015

  22. [30]

    Operads as polynomial 2-monads.Theory and Applications of Categories, 30:1659–1712, 2015

    Mark Weber. Operads as polynomial 2-monads.Theory and Applications of Categories, 30:1659–1712, 2015

    2015

  23. [31]

    Polynomials in categories with pullbacks.Theory and Applications of Cate- gories, 30(16):533–598, 2015

    Mark Weber. Polynomials in categories with pullbacks.Theory and Applications of Cate- gories, 30(16):533–598, 2015. School of Applied Mathematical and Physical Sciences, National Technical Univer- sity of Athens Email address:fdeleger@mail.ntua.gr

    2015

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.