pith. sign in

arxiv: 2505.22640 · v2 · submitted 2025-05-28 · 🧮 math.AT · math.CT· math.KT

Homology of higher categories

Hadrian Heine This is my paper

Pith reviewed 2026-05-19 14:05 UTC · model grok-4.3

classification 🧮 math.AT math.CTmath.KT
keywords higher categorieshomologyEilenberg-Steenrod axiomsDold-Kan correspondenceStreet nerveDold-Thom theoremglobeshigher category theory
0
0 comments X

The pith

Homology for higher categories is defined and computed using a categorical analogue of the Eilenberg-Steenrod axioms.

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

The paper defines a homology theory for higher categories by directly adapting the classical Eilenberg-Steenrod axioms to this setting. It proves a categorical Dold-Kan correspondence that supplies a combinatorial model, with the Street nerve replacing the singular complex of ordinary topology. This correspondence yields a categorical Dold-Thom theorem, which adds a multiplicative structure and supports explicit calculations such as the homology of globes. A sympathetic reader cares because the axioms provide a unique characterization that can be checked and used across different models of higher categories. The result turns abstract higher-dimensional objects into objects with computable invariants.

Core claim

Homology is characterized by the Eilenberg-Steenrod axioms. We define homology of higher categories via a categorical analogue of the Eilenberg-Steenrod axioms. We prove a categorical Dold-Kan correspondence, providing a combinatorial presentation of categorical homology in which the Street nerve plays the role of the singular complex. This implies a categorical Dold-Thom theorem that endows categorical homology with a multiplicative structure and leads to computations of categorical homology of the globes.

What carries the argument

The categorical Eilenberg-Steenrod axioms, which characterize the homology functor on higher categories, together with the Street nerve serving as the combinatorial replacement for the singular complex in the Dold-Kan correspondence.

If this is right

  • Categorical homology admits a multiplicative structure supplied by the Dold-Thom theorem.
  • Explicit computations become available for the homology groups of globes.
  • The theory supplies a combinatorial presentation usable for calculations in any model of higher categories that admits a Street nerve.
  • Homology groups are uniquely determined by the axioms once the functorial properties are fixed.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The axiomatic approach may let researchers compare homology across different presentations of the same higher category, such as simplicial sets versus other combinatorial models.
  • Similar axiomatic definitions could be attempted for related invariants such as cohomology or K-theory of higher categories.
  • One could test the framework by computing homology for additional concrete examples, like the nerve of a small ordinary category, and checking consistency with classical homology.

Load-bearing premise

A direct categorical analogue of the Eilenberg-Steenrod axioms exists and uniquely characterizes a homology theory for higher categories that admits the Street nerve as a combinatorial model.

What would settle it

An explicit computation of the homology of one of the globes via an independent method that produces a different value from the one obtained through the Street nerve presentation of the categorical Dold-Kan correspondence.

read the original abstract

Homology is characterized by the Eilenberg-Steenrod axioms. We define homology of higher categories via a categorical analogue of the Eilenberg-Steenrod axioms. We prove a categorical Dold-Kan correspondence, providing a combinatorial presentation of categorical homology in which the Street nerve plays the role of the singular complex. This implies a categorical Dold-Thom theorem that endows categorical homology with a multiplicative structure and leads to computations of categorical homology of the globes.

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

2 major / 2 minor

Summary. The paper defines homology for higher categories by positing a direct categorical analogue of the Eilenberg-Steenrod axioms. It proves a categorical Dold-Kan correspondence in which the Street nerve supplies the combinatorial model (playing the role of the singular complex) and deduces a categorical Dold-Thom theorem that equips the homology with a multiplicative structure, yielding explicit computations for the globes.

Significance. If the central claims are established, the work supplies an axiomatic foundation for homology in the higher-categorical setting and links it to a standard combinatorial construction via the Street nerve. The resulting Dold-Kan and Dold-Thom statements would be useful for computations and for relating higher-categorical invariants to classical ones. The explicit treatment of globes is a concrete strength.

major comments (2)
  1. [Statement of main theorems (Introduction / §2)] The uniqueness of the homology theory characterized by the categorical Eilenberg-Steenrod axioms is asserted but not demonstrated. Higher categories involve weak equivalences and multiple composition operations, so it is not immediate that the axioms force a unique functor up to natural equivalence; the paper must supply an argument or theorem showing that any two functors satisfying the axioms are naturally equivalent.
  2. [Categorical Dold-Kan correspondence (§3)] The proof that the Street nerve satisfies the full list of categorical Eilenberg-Steenrod axioms (homotopy invariance, excision via pushouts/colimits, additivity, etc.) is not detailed in the provided text. Without explicit verification that each axiom holds for the Street nerve construction, the claim that it furnishes the canonical combinatorial presentation remains unverified.
minor comments (2)
  1. [Notation and definitions] Notation for the categorical homology functor and for the Street nerve should be introduced once and used consistently; several passages reuse symbols without redefinition.
  2. [Computations for globes] The computations of categorical homology for the globes would benefit from an explicit table or list of values in low dimensions to make the Dold-Thom consequences easier to check.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive major comments. We address each point below and indicate the revisions that will be incorporated.

read point-by-point responses

  1. Referee: [Statement of main theorems (Introduction / §2)] The uniqueness of the homology theory characterized by the categorical Eilenberg-Steenrod axioms is asserted but not demonstrated. Higher categories involve weak equivalences and multiple composition operations, so it is not immediate that the axioms force a unique functor up to natural equivalence; the paper must supply an argument or theorem showing that any two functors satisfying the axioms are naturally equivalent.

    Authors: We agree that uniqueness requires an explicit argument rather than an assertion. In the revised manuscript we will insert a new theorem in §2 establishing that any two functors satisfying the full list of categorical Eilenberg-Steenrod axioms are naturally equivalent. The proof proceeds by first evaluating both functors on the generating globes, then using homotopy invariance and the fact that every higher category is a colimit of globes (with respect to the appropriate weak equivalences) to extend the agreement to all objects. This directly addresses the issues raised by weak equivalences and multiple composition operations. revision: yes

  2. Referee: [Categorical Dold-Kan correspondence (§3)] The proof that the Street nerve satisfies the full list of categorical Eilenberg-Steenrod axioms (homotopy invariance, excision via pushouts/colimits, additivity, etc.) is not detailed in the provided text. Without explicit verification that each axiom holds for the Street nerve construction, the claim that it furnishes the canonical combinatorial presentation remains unverified.

    Authors: We accept that the verification was presented in summary form rather than with full detail. The revised version will add a new subsection in §3 that checks each axiom in turn: homotopy invariance follows from the Street nerve preserving weak equivalences of higher categories; excision is verified by showing that the nerve converts the relevant pushouts in the category of higher categories into homotopy pushouts of simplicial sets; additivity is checked by direct computation on coproducts. These explicit verifications will make the identification of the Street nerve as the combinatorial model fully rigorous. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via standard axioms and prior combinatorial models.

full rationale

The paper defines homology of higher categories directly from a categorical analogue of the Eilenberg-Steenrod axioms (standard external input) and proves a Dold-Kan correspondence in which the Street nerve (from prior literature) serves as the singular complex. No step reduces a claimed prediction or uniqueness result to a fitted parameter or self-defined quantity by construction. The central claims rest on the existence and verification of the axioms plus the combinatorial model, without load-bearing self-citations that would render the Dold-Thom or Dold-Kan implications tautological. The derivation therefore retains independent mathematical content against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Only abstract available so ledger is partial; central claim rests on existence of a well-behaved categorical Eilenberg-Steenrod analogue and the Street nerve behaving as a singular complex substitute.

axioms (1)
  • domain assumption A categorical analogue of the Eilenberg-Steenrod axioms exists and characterizes homology for higher categories
    Invoked to define the homology theory in the abstract.
invented entities (1)
  • Categorical homology no independent evidence
    purpose: To provide homology groups for higher categories
    Newly defined object whose properties are proved via the axioms and correspondences.

pith-pipeline@v0.9.0 · 5585 in / 1278 out tokens · 103479 ms · 2026-05-19T14:05:59.130570+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.

Forward citations

Cited by 2 Pith papers

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

  1. Homotopy Posets, Postnikov Towers, and Hypercompletions of $\infty$-Categories

    math.AT 2026-03 unverdicted novelty 8.0

    Homotopy posets assemble into an oriented long exact sequence analogue and form layers of a categorical Postnikov tower, with Postnikov-complete (∞,∞)-categories identified as the limit of (∞,n)-categories along trunc...

  2. Stable homotopy theory of higher categories

    math.AT 2026-05 unverdicted novelty 7.0

    Inverting endomorphism categories produces a stable homotopy theory of higher categories in which categorical spectra classify homology theories via a categorical Brown representability theorem.

Reference graph

Works this paper leans on

60 extracted references · 60 canonical work pages · cited by 2 Pith papers · 1 internal anchor

  1. [1]

    Brauer groups and étale cohomology in derived algebraic geometry.Geom

    Benjamin Antieau and David Gepner. Brauer groups and étale cohomology in derived algebraic geometry.Geom. Topol., 18(2):1149–1244, 2014

    work page 2014

  2. [2]

    Michael F. Atiyah. Topological quantum field theory.Publications Mathématiques de l’IHÉS, 68:175–186, 1988

    work page 1988

  3. [3]

    Recognition principle for generalized Eilenberg-Mac Lane spaces

    Bernard Badzioch. Recognition principle for generalized Eilenberg-Mac Lane spaces. In Jaume Aguadé, Carles Broto, and Carles Casacuberta, editors,Cohomological Methods in Homotopy Theory , pages 21–26, Basel, 2001. Birkhäuser Basel

    work page 2001

  4. [4]

    Algebraic theories in homotopy theory.Annals of Mathematics , 155(3):895–913, 2002

    Bernard Badzioch. Algebraic theories in homotopy theory.Annals of Mathematics , 155(3):895–913, 2002

    work page 2002

  5. [5]

    Higher-dimensional algebra and topological quantum field theory

    John C Baez and James Dolan. Higher-dimensional algebra and topological quantum field theory. Journal of mathematical physics, 36(11):6073–6105, 1995

    work page 1995

  6. [6]

    Edgar H. Brown. Cohomology theories.Annals of Mathematics , 75(3):467–484, 1962. ON THE CATEGORIFICATION OF HOMOLOGY 109

    work page 1962

  7. [7]

    Cubes are dense in(∞, ∞)-categories

    Timothy Campion. Cubes are dense in(∞, ∞)-categories. arXiv: 2209.09376 , 2022

    work page arXiv 2022

  8. [8]

    The Gray tensor product of(∞, n)-categories

    Timothy Campion. The Gray tensor product of(∞, n)-categories. arXiv: 2311.00205 , 2023

    work page arXiv 2023

  9. [9]

    Localizations of abelian Eilenberg–Mac Lane spaces of finite type

    Carles Casacuberta, Jose Rodriguez, and Jin yen Tai. Localizations of abelian Eilenberg–Mac Lane spaces of finite type. Algebraic and Geometric Topology, 16(4):2379 – 2420, 2016

    work page 2016

  10. [10]

    Complexes of stable∞-categories

    Merlin Christ, Tobias Dyckerhoff, and Tashi Walde. Complexes of stable∞-categories. 2301.02606, 2024

    work page arXiv 2024

  11. [11]

    Quasifaserungen und unendliche symmetrische produkte.Annals of Mathematics , 67(2):239–281, 1958

    Albrecht Dold and René Thom. Quasifaserungen und unendliche symmetrische produkte.Annals of Mathematics , 67(2):239–281, 1958

    work page 1958

  12. [12]

    A categorified Dold-Kan correspondence.Selecta Mathematica, 27, 2017

    Tobias Dyckerhoff. A categorified Dold-Kan correspondence.Selecta Mathematica, 27, 2017

    work page 2017

  13. [13]

    Homotopy and homology of diagrams of spaces

    Emmanuel Dror Farjoun. Homotopy and homology of diagrams of spaces. In Haynes R. Miller and Douglas C. Ravenel, editors, Algebraic Topology, pages 93–134, Berlin, Heidelberg, 1987. Springer Berlin Heidelberg

    work page 1987

  14. [14]

    Gray tensor products and lax functors of (∞,2)-categories

    Andrea Gagna, Yonatan Harpaz, and Edoardo Lanari. Gray tensor products and lax functors of (∞,2)-categories. Advances in Mathematics, 391:107986, 2021

    work page 2021

  15. [15]

    The homotopy type of the cobordism category

    Søren Galatius, Ib Madsen, Ulrike Tillmann, and Michael Weiss. The homotopy type of the cobordism category. Acta Mathematica, 202(2):195 – 239, 2009

    work page 2009

  16. [16]

    Universality of multiplicative infinite loop space machines

    David Gepner, Moritz Groth, and Thomas Nikolaus. Universality of multiplicative infinite loop space machines. Algebraic and Geometric Topology, 15(6):3107–3153, Dec 2015

    work page 2015

  17. [17]

    Enriched∞-categories via non-symmetric∞-operads

    David Gepner and Rune Haugseng. Enriched∞-categories via non-symmetric∞-operads. Advances in Mathemat- ics, 279:575 – 716, 2015

    work page 2015

  18. [18]

    Lax higher category theory.In preparation, 2025

    David Gepner and Hadrian Heine. Lax higher category theory.In preparation, 2025

    work page 2025

  19. [19]

    JOHN W. GRAY. Coherence for the tensor product of 2-categories, and braid groups. In ALEX HELLER and MYLES TIERNEY, editors,Algebra, Topology, and Category Theory , pages 63–76. Academic Press, 1976

    work page 1976

  20. [20]

    Duals and adjoints in higher Morita categories

    Owen Gwilliam and Claudia Scheimbauer. Duals and adjoints in higher Morita categories. arXiv preprint: 1804.10924, 2018

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  21. [21]

    On k-invariants for(∞, n)-categories

    Yonatan Harpaz, Joost Nuiten, and Matan Prasma. On k-invariants for(∞, n)-categories. arXiv: Algebraic Topol- ogy, 2020

    work page 2020

  22. [22]

    On the equivalence betweenθn-spaces and iterated Segal spaces

    Rune Haugseng. On the equivalence betweenθn-spaces and iterated Segal spaces. Proceedings of the American Mathematical Society, 146(4):1401–1415, December 2017

    work page 2017

  23. [23]

    Iterated spans and classical topological field theories.Math

    Rune Haugseng. Iterated spans and classical topological field theories.Math. Z., 289:1427–1488, 2018

    work page 2018

  24. [24]

    On lax transformations, adjunctions, and monads in (∞,2)-categories

    Rune Haugseng. On lax transformations, adjunctions, and monads in (∞,2)-categories. Higher Structures, 2020

    work page 2020

  25. [25]

    A topological model for cellular motivic spectra.arXiv: 1712.00521

    Hadrian Heine. A topological model for cellular motivic spectra.arXiv: 1712.00521

    work page arXiv

  26. [26]

    Restricted L∞-algebras

    Hadrian Heine. Restricted L∞-algebras. https://osnadocs.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700- 201909201996, 2019

    work page 2019

  27. [27]

    An equivalence between enriched∞-categories and ∞-categories with weak action

    Hadrian Heine. An equivalence between enriched∞-categories and ∞-categories with weak action. Advances in Mathematics, 417:108941, 2023

    work page 2023

  28. [28]

    A monadicity theorem for higher algebraic structures.arXiv:1712.00555, 2023

    Hadrian Heine. A monadicity theorem for higher algebraic structures.arXiv:1712.00555, 2023

    work page arXiv 2023

  29. [29]

    An equivalence between two models of∞-categories of enriched presheaves

    Hadrian Heine. An equivalence between two models of∞-categories of enriched presheaves. arXiv 2306.08115 , 2024

    work page arXiv 2024

  30. [30]

    The higher algebra of weighted colimits.arXiv: 2406.08925 , 2024

    Hadrian Heine. The higher algebra of weighted colimits.arXiv: 2406.08925 , 2024

    work page arXiv 2024

  31. [31]

    A local-global principle for parametrized∞-categories

    Hadrian Heine. A local-global principle for parametrized∞-categories. arXiv: 2409.05568 , 2024

    work page arXiv 2024

  32. [32]

    On bi-enriched∞-categories

    Hadrian Heine. On bi-enriched∞-categories. arXiv: 2406.09832 , 2024

    work page arXiv 2024

  33. [33]

    Real K -theory for infinity W aldhausen categories with genuine duality

    Hadrian Heine, Markus Spitzweck, and Paula Verdugo. Real K-theory for Waldhausen infinity categories with genuine duality.arXiv: 1911.11682 , 2021

    work page arXiv 1911

  34. [34]

    Yoneda lemma for enriched∞-categories

    Vladimir Hinich. Yoneda lemma for enriched∞-categories. Advances in Mathematics, 367:107129, 2020

    work page 2020

  35. [35]

    Colimits in enriched∞-categories and Day convolution, 2021

    Vladimir Hinich. Colimits in enriched∞-categories and Day convolution, 2021

    work page 2021

  36. [36]

    Hurewicz

    W. Hurewicz. Beiträge zur Topologie der Deformationen. II: Homotopie- und Homologiegruppen.Proc. Akad. Wet. Amsterdam, 38:521–528, 1935

    work page 1935

  37. [37]

    Categorical spectra as pointed(∞, Z)-categories

    David Kern. Categorical spectra as pointed(∞, Z)-categories. arXiv: 2410.02578 , 2024

    work page arXiv 2024

  38. [38]

    A folk model structure on omega-categoriesAdvances in Mathematics, 224(3):1183–1231, 2010

    Yves Lafont, François Métayer, and Krzysztof Worytkiewicz. A folk model structure on omega-categoriesAdvances in Mathematics, 224(3):1183–1231, 2010

    work page 2010

  39. [39]

    The complicial model of(∞, ω)-categories

    Félix Loubaton. The complicial model of(∞, ω)-categories. arXiv: 2207.08504 , 2024

    work page arXiv 2024

  40. [40]

    Higher Algebra

    Jacob Lurie. Higher Algebra. available at http://www.math.harvard.edu/ lurie/

    work page

  41. [41]

    Higher topos theory , volume 170 of Annals of Mathematics Studies

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

    work page 2009

  42. [42]

    On the classification of topological field theories.Current Developments in Mathematics , 2008, 05 2009

    Jacob Lurie. On the classification of topological field theories.Current Developments in Mathematics , 2008, 05 2009

    work page 2008

  43. [43]

    The Gray tensor product for 2-quasi-categories.Advances in Mathematics, 377:107461, 2021

    Yuki Maehara. The Gray tensor product for 2-quasi-categories.Advances in Mathematics, 377:107461, 2021

    work page 2021

  44. [44]

    The algebra of categorical spectra.https://nmasuda2.github.io, 2024

    Naruki Masuda. The algebra of categorical spectra.https://nmasuda2.github.io, 2024

    work page 2024

  45. [45]

    J. P. May.E∞ spaces, group completions, and permutative categories , page 61–94. London Mathematical Society Lecture Note Series. Cambridge University Press, 1974. ON THE CATEGORIFICATION OF HOMOLOGY 110

    work page 1974

  46. [46]

    A universal characterization of noncommutative motives and secondary alge- braic K-theory.Annals of K-Theory , 9:369–445, 08 2024

    Aaron Mazel-Gee and Reuben Stern. A universal characterization of noncommutative motives and secondary alge- braic K-theory.Annals of K-Theory , 9:369–445, 08 2024

    work page 2024

  47. [47]

    Cofibrant complexes are free

    François Métayer. Cofibrant complexes are free. 16 pages, soumis, January 2007

    work page 2007

  48. [48]

    Model structures for (∞,n)–categories on (pre)stratified simplicial sets and prestratified simplicial spaces.Algebraic and Geometric Topology, 20:1543–1600, 05 2020

    Viktoriya Ozornova and Martina Rovelli. Model structures for (∞,n)–categories on (pre)stratified simplicial sets and prestratified simplicial spaces.Algebraic and Geometric Topology, 20:1543–1600, 05 2020

    work page 2020

  49. [49]

    On the homology of non-connected monoids and their associated groups.Com- mentarii mathematici Helvetici , 47:1–14, 1972

    Barratt Michael Priddy, Stewart. On the homology of non-connected monoids and their associated groups.Com- mentarii mathematici Helvetici , 47:1–14, 1972

    work page 1972

  50. [50]

    Quillen.Homotopical algebra

    Daniel G. Quillen.Homotopical algebra. Springer, 1967

    work page 1967

  51. [51]

    Complicial Sets, an Overture , pages 49–76

    Emily Riehl. Complicial Sets, an Overture , pages 49–76. Springer International Publishing, Cham, 2018

    work page 2018

  52. [52]

    Stable homotopy of algebraic theories.Topology, 40(1):1–41, 2001

    Stefan Schwede. Stable homotopy of algebraic theories.Topology, 40(1):1–41, 2001

    work page 2001

  53. [53]

    Higher quasicoherent sheaves

    Germán Stefanich. Higher quasicoherent sheaves. 2021, https://escholarship.org/uc/item/19h1f1tv

    work page 2021

  54. [54]

    Omega-categories and chain complexes.Homology, Homotopy and Applications , 6:175–200, 2004

    Richard Steiner. Omega-categories and chain complexes.Homology, Homotopy and Applications , 6:175–200, 2004

    work page 2004

  55. [55]

    The algebra of oriented simplexes.Journal of Pure and Applied Algebra , 49(3):283–335, 1987

    Ross Street. The algebra of oriented simplexes.Journal of Pure and Applied Algebra , 49(3):283–335, 1987

    work page 1987

  56. [56]

    Complicial sets.Mem

    Dominic Verity. Complicial sets.Mem. AMS, 193, 11 2004

    work page 2004

  57. [57]

    D.R.B. Verity. Weak complicial sets i. basic homotopy theory.Advances in Mathematics, 219(4):1081–1149, 2008

    work page 2008

  58. [58]

    Model structures on commutative monoids in general model categories.Journal of Pure and Applied Algebra, 221(12):3124–3168, 2017

    David White. Model structures on commutative monoids in general model categories.Journal of Pure and Applied Algebra, 221(12):3124–3168, 2017

    work page 2017

  59. [59]

    J. H. C. Whitehead. Combinatorial homotopy. I.Bulletin of the American Mathematical Society , 55(3.P1):213 – 245, 1949

    work page 1949

  60. [60]

    Topological quantum field theory

    Edward Witten. Topological quantum field theory. Communications in Mathematical Physics , 117(3):353–386, 1988

    work page 1988