Pith. sign in

REVIEW 1 minor 2 cited by

The decomposition space perspective

T0 review · 0 major / 1 minor · reviewed 2026-05-23 · grok-4.3

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

Pith's one-line read Decomposition spaces defined via active-inert factorization on simplices are equivalent to 2-Segal spaces.

desk verdict This is a clear expository paper that unifies decomposition spaces via active-inert factorization with 2-Segal spaces, but adds no new theorems. read the letter →

arxiv 2409.19061 v2 pith:TDJBMUOA submitted 2024-09-27 math.AT math.CT

Philip Hackney This is my paper · ORCID
classification math.ATmath.CT
keywords decompositionspaces2-Segalsimplicialsetsactive-inertfactorizationpathspacecriterionedgewisesubdivisionouterfacecomplexes
checked against Foundation.AbsoluteFloorClosurealexander_duality_circle_linking
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 shows that a simplicial object satisfies the decomposition space condition precisely when it satisfies the 2-Segal condition, by using the active-inert factorization system on the simplex category. This identification lets criteria such as the path space property for upper and lower décalages and the edgewise subdivision test apply interchangeably. The work also constructs free decomposition spaces from outer face complexes as a source of examples. A reader would care because both notions organize structures like homotopy associative algebras and higher categories, and the equivalence transfers constructions and proofs between the two viewpoints.

What carries the argument

The active-inert factorization system on the simplex category, which splits every map into an active part followed by an inert part and supplies the decomposition space axiom.

What would settle it

An explicit simplicial set that meets the 2-Segal condition but fails the active-inert decomposition axiom, or vice versa.

Watch

Extended reading notes

Core claim

A simplicial object is a decomposition space when every active map factors uniquely through an inert map in the active-inert factorization system of the simplex category; this condition is equivalent to the 2-Segal condition. The equivalence is proved directly, the path space criterion is derived from it, and the edgewise subdivision is shown to preserve the property.

Load-bearing premise

The active-inert factorization system on the simplex category exists and its induced condition matches the 2-Segal condition exactly.

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 provides an introduction to decomposition spaces and 2-Segal spaces, defining decomposition spaces via the active-inert factorization system on the simplicial category Δ and establishing their equivalence to 2-Segal spaces. It presents the path space criterion (characterizing decomposition spaces via upper and lower décalages) and the edgewise subdivision criterion, introduces free decomposition spaces arising from outer face complexes as examples, and assumes only basic knowledge of simplicial methods and category theory.

Significance. The central equivalence is a standard result (Gálvez-Carrillo–Kock–Tonks; Dyckerhoff–Kapranov), so the paper's value is primarily expository: it unifies the two perspectives in one text, supplies concrete criteria and a source of examples via free decomposition spaces, and lowers the barrier to entry. This could usefully complement existing literature for readers already familiar with simplicial sets.

minor comments (1)
  1. [Abstract / §1] The abstract states that the active-inert factorization system 'provides a characterization equivalent to the 2-Segal condition,' but the introduction does not explicitly cite the original sources for this equivalence at the first mention; adding a pointer to Gálvez-Carrillo–Kock–Tonks or Dyckerhoff–Kapranov in §1 would help readers locate the primary references.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript. We appreciate the recognition of the paper's expository value in unifying the active-inert factorization perspective on decomposition spaces with the 2-Segal space viewpoint, along with the path space criterion, edgewise subdivision criterion, and examples from outer face complexes.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; expository equivalence to established literature

full rationale

The paper is an introduction unifying decomposition spaces (via active-inert factorization on Δ) with 2-Segal spaces. The central equivalence is attributed to prior independent work (Gálvez-Carrillo–Kock–Tonks; Dyckerhoff–Kapranov), not self-citation. Definitions of the factorization system (active maps preserve endpoints; inert maps are order-preserving inclusions) and pullback conditions are stated directly without reducing to fitted inputs or renaming. Path-space and edgewise-subdivision criteria are presented as known equivalent characterizations. No load-bearing step reduces by construction to the paper's own inputs or self-citations.

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

Abstract-only review; no free parameters, axioms, or invented entities are specified. The factorization system is treated as background.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The decomposition space perspective." pith.science (2026). https://pith.science/paper/TDJBMUOA

@misc{pith2026240919061,
  author       = {Pith},
  title        = {Pith review of: The decomposition space perspective},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TDJBMUOA}},
  note         = {Machine review of arXiv:2409.19061}
}
read the original abstract

This paper provides an introduction to decomposition spaces and 2-Segal spaces, unifying the two perspectives. We begin by defining decomposition spaces using the active-inert factorization system on the simplicial category, and show their equivalence to 2-Segal spaces. Key results include the path space criterion, which characterizes decomposition spaces in terms of their upper and lower d\'ecalages, and the edgewise subdivision criterion. We also introduce free decomposition spaces arising from outer face complexes, providing a rich source of examples. Formal prerequisites are minimal -- readers should have a working knowledge of simplicial methods and basic category theory.

Discussion (0). Continue with ORCID to comment.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

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

  1. Higher Segal spaces and partial groups

    math.GR 2025-07 conditional novelty 7.0 of 10

    The higher Segal degree of a partial groupoid equals the Helly number of the closure space of a characteristic action, and the method gives explicit degrees for punctured Weyl groups.

  2. Combinatorial examples and applications of 2-Segal sets

    math.AT 2024-11 conditional novelty 2.0 of 10

    An expository survey introducing 2-Segal sets through graph and tree examples, with worked Hall algebra and discrete Waldhausen S-construction applications.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages · cited by 2 Pith papers

  1. [1]

    Clemens Berger, Moment categories and operads, Theory Appl. Categ. 38 (2022), 1485–1537. MR 4541944

    work page 2022

  2. [2]

    Clemens Berger and Ieke Moerdijk, On an extension of the notion of Reedy category , Math. Z. 269 (2011), no. 3-4, 977–1004. MR 2860274

    work page 2011

  3. [3]

    Bergner, Ang´ elica M

    Julia E. Bergner, Ang´ elica M. Osorno, Viktoriya Ozornova, Martina Rovelli, and Claudia I. Scheimbauer, 2-Segal sets and the Waldhausen construction , Topology Appl. 235 (2018), 445–484. MR 3760213

    work page 2018

  4. [4]

    , The edgewise subdivision criterion for 2-Segal objects , Proc. Amer. Math. Soc. 148 (2020), no. 1, 71–82. MR 4042831

    work page 2020

  5. [5]

    Bergner and Walker H

    Julia E. Bergner and Walker H. Stern, Cyclic Segal spaces , this volume, arXiv:2409.11945 [math.AT]

    work page arXiv

  6. [6]

    50, Cambridge University Press, Cambridge, 1994, Basic category theory

    Francis Borceux, Handbook of categorical algebra 1 , Encyclopedia of Mathematics and its Applications, vol. 50, Cambridge University Press, Cambridge, 1994, Basic category theory. MR 1291599 THE DECOMPOSITION SPACE PERSPECTIVE 19

    work page 1994

  7. [7]

    Sergei Burkin, Twisted arrow categories, operads and Segal conditions , Theory Appl. Categ. 38 (2022), Paper No. 16, 595–660. MR 4403280

    work page 2022

  8. [8]

    Tanner Carawan, 2-Segal maps associated to a category with cofibrations , arXiv:2405.11561 [math.AT]

    work page arXiv

Show all 47 references
  1. [9]

    Louis Carlier, Hereditary species as monoidal decomposition spaces, comodule bialgebras, and operadic categories, Int. Math. Res. Not. IMRN (2022), no. 8, 5745–5780. MR 4410767

    2022

  2. [10]

    Louis Carlier and Joachim Kock, Antipodes of monoidal decomposition spaces , Commun. Contemp. Math. 22 (2020), no. 2, 1850081, 15. MR 4077086

    2020

  3. [11]

    Alex Cebrian and Wilson Forero, Directed hereditary species and decomposition spaces , arXiv:2211.07721 [math.CO]

  4. [12]

    Hongyi Chu and Rune Haugseng, Homotopy-coherent algebra via Segal conditions , Adv. Math. 385 (2021), Paper No. 107733, 95. MR 4256131

    2021

  5. [13]

    Alain Connes, Cohomologie cyclique et foncteurs Extn, C. R. Acad. Sci. Paris S´ er. I Math. 296 (1983), no. 23, 953–958. MR 777584

    1983

  6. [14]

    Alain Connes and Dirk Kreimer, Hopf algebras, renormalization and noncommutative geometry, Comm. Math. Phys. 199 (1998), no. 1, 203–242. MR 1660199

    1998

  7. [15]

    Shapiro, Weak cartesian properties of simplicial sets, J

    Carmen Constantin, Tobias Fritz, Paolo Perrone, and Brandon T. Shapiro, Weak cartesian properties of simplicial sets, J. Homotopy Relat. Struct. 18 (2023), no. 4, 477–520. MR 4671178

    2023

  8. [16]

    Stern, Frobenius and commutative pseu- domonoids in the bicategory of spans , J

    Ivan Contreras, Rajan Amit Mehta, and Walker H. Stern, Frobenius and commutative pseu- domonoids in the bicategory of spans , J. Geom. Phys. 207 (2025), Paper No. 105309, 31. MR 4798060

    2025

  9. [17]

    Young, Hall algebras via 2-Segal spaces , this volume, arXiv:2409.19384 [math.CT]

    Ben Cooper and Matthew B. Young, Hall algebras via 2-Segal spaces , this volume, arXiv:2409.19384 [math.CT]

  10. [18]

    Tobias Dyckerhoff and Mikhail Kapranov, Triangulated surfaces in triangulated categories, J. Eur. Math. Soc. (JEMS) 20 (2018), no. 6, 1473–1524. MR 3801819

    2018

  11. [19]

    2244, Springer, Cham, 2019

    , Higher Segal spaces, Lecture Notes in Mathematics, vol. 2244, Springer, Cham, 2019. MR 3970975

    2019

  12. [20]

    Matt Feller, Quasi-2-Segal sets, Tunis. J. Math. 5 (2023), no. 2, 327–367. MR 4596737

    2023

  13. [21]

    Proulx, and Mark Weber, Every 2-Segal space is unital , Commun

    Matthew Feller, Richard Garner, Joachim Kock, May U. Proulx, and Mark Weber, Every 2-Segal space is unital , Commun. Contemp. Math. 23 (2021), no. 2, 2050055, 6. MR 4201031

    2021

  14. [22]

    Wilson Forero, The G´ alvez-Carrillo–Kock–Tonks conjecture for locally discrete decomposition spaces, Commun. Contemp. Math. 26 (2024), no. 4, Paper No. 2350011, 54. MR 4730614

    2024

  15. [23]

    Imma G´ alvez-Carrillo, Joachim Kock, and Andrew Tonks,Decomposition spaces in combina- torics, this volume, arXiv:1612.09225 [math.CO]

  16. [24]

    , Decomposition spaces, incidence algebras and M¨ obius inversion I: Basic theory, Adv. Math. 331 (2018), 952–1015. MR 3804694

    2018

  17. [25]

    , Decomposition spaces, incidence algebras and M¨ obius inversion II: Completeness, length filtration, and finiteness , Adv. Math. 333 (2018), 1242–1292. MR 3818099

    2018

  18. [26]

    , Decomposition spaces, incidence algebras and M¨ obius inversion III: The decomposition space of M¨ obius intervals, Adv. Math. 334 (2018), 544–584. MR 3828744

    2018

  19. [27]

    , Homotopy linear algebra , Proc. Roy. Soc. Edinburgh Sect. A 148 (2018), no. 2, 293–325. MR 3777576

    2018

  20. [28]

    , Decomposition spaces and restriction species, Int. Math. Res. Notices 2020 (2020), no. 21, 7558–7616. MR 4176832

    2020

  21. [29]

    Richard Garner, Joachim Kock, and Mark Weber, Operadic categories and d´ ecalage, Adv. Math. 377 (2021), 107440, 23. MR 4186001

    2021

  22. [30]

    Pure Appl

    Marco Grandis, Weak subobjects and the epi-monic completion of a category , J. Pure Appl. Algebra 154 (2000), no. 1-3, 193–212. MR 1787597

    2000

  23. [31]

    Jonte G¨ odicke,An ∞-category of 2-Segal spaces, arXiv:2407.13357 [math.AT]

  24. [32]

    Philip Hackney, Operadic categories and 2-Segal sets , arXiv:2312.00756 [math.CT]

  25. [33]

    Math., vol

    , Segal conditions for generalized operads, Higher Structures in Topology, Geometry, and Physics, Contemp. Math., vol. 802, Amer. Math. Soc., Providence, RI, 2024, pp. 161–194. MR 4773880

    2024

  26. [34]

    Philip Hackney and Joachim Kock, Culf maps and edgewise subdivision , arXiv:2210.11191 [math.AT], with an appendix coauthored with Jan Steinebrunner

  27. [35]

    , Free decomposition spaces , Collect. Math. (2024), 10.1007/s13348-024-00446-8, arXiv:2210.11192 [math.CT]. 20 PHILIP HACKNEY

    2024 doi

  28. [36]

    Spivak, Decomposition-space slices are toposes, Proc

    Joachim Kock and David I. Spivak, Decomposition-space slices are toposes, Proc. Amer. Math. Soc. 148 (2020), no. 6, 2317–2329. MR 4080877

    2020

  29. [37]

    170, Princeton University Press, Princeton, NJ, 2009

    Jacob Lurie, Higher topos theory, Annals of Mathematics Studies, vol. 170, Princeton University Press, Princeton, NJ, 2009. MR 2522659

    2009

  30. [38]

    , Kerodon, https://kerodon.net, 2024

    2024

  31. [39]

    5, Springer-Verlag, New York, 1998

    Saunders Mac Lane, Categories for the working mathematician , second ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. MR 1712872

    1998

  32. [40]

    Bodo Pareigis, Categories and functors, Pure and Applied Mathematics, vol. Vol. 39, Academic Press, New York-London, 1970. MR 265428

    1970

  33. [41]

    Thomas Poguntke, Higher Segal structures in algebraic K-theory, arXiv:1709.06510 [math.AT]

    arXiv

  34. [42]

    Charles Rezk, A model for the homotopy theory of homotopy theory , Trans. Amer. Math. Soc. 353 (2001), no. 3, 973–1007. MR 1804411

    2001

  35. [43]

    Robert Rosebrugh and R. J. Wood, Distributive laws and factorization , J. Pure Appl. Algebra 175 (2002), no. 1-3, 327–353. MR 1941618

    2002

  36. [44]

    Graeme Segal, Configuration-spaces and iterated loop-spaces, Invent. Math. 21 (1973), 213–221. MR 331377

    1973

  37. [45]

    MR 353298

    , Categories and cohomology theories, Topology 13 (1974), 293–312. MR 353298

    1974

  38. [46]

    Stern, Perspectives on the 2-Segal conditions , this volume

    Walker H. Stern, Perspectives on the 2-Segal conditions , this volume

  39. [47]

    1, Elsevier/North-Holland, Amsterdam, 1996, pp

    Ross Street, Categorical structures, Handbook of algebra, Vol. 1, Elsevier/North-Holland, Amsterdam, 1996, pp. 529–577. MR 1421811 Department of Mathematics, University of Louisiana at Lafayette Email address: philip@phck.net

    1996

Pith tools

Reviewed May 23, 2026 · model on record in the stance chip above.