pith. sign in

arxiv: 2409.19061 · v2 · pith:TDJBMUOAnew · submitted 2024-09-27 · 🧮 math.AT · math.CT

The decomposition space perspective

Philip Hackney This is my paper

Pith reviewed 2026-05-23 21:24 UTC · model grok-4.3

classification 🧮 math.AT math.CT
keywords decomposition spaces2-Segal spacessimplicial setsactive-inert factorizationpath space criterionedgewise subdivisionouter face complexes
0
0 comments X

The pith

Decomposition spaces defined via active-inert factorization on simplices are equivalent to 2-Segal spaces.

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

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.

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.

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.

Load-bearing premise

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

What would settle it

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

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.

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.

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

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

pith-pipeline@v0.9.0 · 5606 in / 959 out tokens · 20406 ms · 2026-05-23T21:24:48.535024+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

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.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages · 1 internal anchor

  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

  9. [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

    work page 2022

  10. [10]

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

    work page 2020

  11. [11]

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

    work page arXiv

  12. [12]

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

    work page 2021

  13. [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

    work page 1983

  14. [14]

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

    work page 1998

  15. [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

    work page 2023

  16. [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

    work page 2025

  17. [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]

    work page arXiv

  18. [18]

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

    work page 2018

  19. [19]

    2244, Springer, Cham, 2019

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

    work page 2019

  20. [20]

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

    work page 2023

  21. [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

    work page 2021

  22. [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

    work page 2024

  23. [23]

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

    work page arXiv

  24. [24]

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

    work page 2018

  25. [25]

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

    work page 2018

  26. [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

    work page 2018

  27. [27]

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

    work page 2018

  28. [28]

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

    work page 2020

  29. [29]

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

    work page 2021

  30. [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

    work page 2000

  31. [31]

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

    work page arXiv

  32. [32]

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

    work page arXiv

  33. [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

    work page 2024

  34. [34]

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

    work page arXiv

  35. [35]

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

    work page doi:10.1007/s13348-024-00446-8 2024

  36. [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

    work page 2020

  37. [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

    work page 2009

  38. [38]

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

    work page 2024

  39. [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

    work page 1998

  40. [40]

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

    work page 1970

  41. [41]

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

    work page internal anchor Pith review Pith/arXiv arXiv

  42. [42]

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

    work page 2001

  43. [43]

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

    work page 2002

  44. [44]

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

    work page 1973

  45. [45]

    MR 353298

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

    work page 1974

  46. [46]

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

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

    work page

  47. [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

    work page 1996