Pith. sign in

REVIEW 1 major objections 1 cited by

Inverting endomorphism categories creates a stable homotopy theory of higher categories in which higher categories act as spaces and categorical spectra represent their homology theories.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-05-08 15:55 UTC

load-bearing objection The abstract lays out a coherent extension of stable homotopy to higher categories via inverting endomorphism categories, yielding a categorical Brown representability theorem, but the absence of any proofs leaves the central claims uncheckable. the 1 major comments →

arxiv 2605.05195 v1 submitted 2026-05-06 math.AT math.CT

Stable homotopy theory of higher categories

Hadrian Heine This is my paper
classification math.AT math.CT
keywords stable homotopy theoryhigher categoriesBrown representabilitycategorical spectrahomological algebraderived categoryrig
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper demonstrates that inverting endomorphism categories extends the core principle of stable homotopy theory to higher categories. In this extended theory, higher categories take the place of spaces, and categorical spectra serve as the objects that represent homology theories on them. This is captured by a categorical Brown representability theorem. If the claim holds, it allows the construction of long exact sequences for categorical homology theories and the development of homological algebra in higher categorical settings, including the derived category of a rig. Readers would care as it bridges classical stable homotopy with the world of higher categories.

Core claim

Inverting endomorphism categories leads to a stable homotopy theory of higher categories, in which higher categories play the role of spaces and categorical spectra represent homology theories of higher categories. The main result is a categorical Brown representability theorem classifying categorical homology theories by categorical spectra. Classical stable homotopy theory is recovered by inverting morphisms. Stabilization is realized by spectrum objects, and the passage from unstable to stable is controlled within a stable range. Categorical homology theories give rise to long exact sequences and support a higher-categorical homological algebra, with an application to the derived category

What carries the argument

Inversion of endomorphism categories, which stabilizes the homotopy theory and enables categorical spectra to classify homology theories via a Brown representability theorem.

Load-bearing premise

That inverting endomorphism categories produces a setting where the classical stable homotopy principles, like Brown representability, hold for higher categories.

What would settle it

Finding a categorical homology theory on higher categories that cannot be represented by a categorical spectrum would falsify the Brown representability theorem.

Watch this falsifier — get emailed when new claim-graph text bears on it.

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

1 major / 0 minor

Summary. The paper extends the principle of stable homotopy theory to higher category theory by inverting endomorphism categories, yielding a stable homotopy theory in which higher categories play the role of spaces and categorical spectra represent homology theories of higher categories. Classical stable homotopy theory is recovered by inverting morphisms. New phenomena arise from categorical dimension, with stabilization realized by spectrum objects and the unstable-to-stable passage controlled in a stable range. The main result is a categorical Brown representability theorem classifying categorical homology theories by categorical spectra. Consequences include long exact sequences and higher-categorical homological algebra, with an application to the derived category of a rig.

Significance. If the constructions and the categorical Brown representability theorem hold, the work would provide a foundational generalization of stable homotopy theory to higher categories, enabling classification of homology theories via spectra and extending homological algebra to non-additive contexts. The recovery of classical theory as a special case and the discussion of dimension-dependent phenomena suggest a coherent framework with potential for further applications in categorical homotopy theory.

major comments (1)
  1. Only the abstract is available for review; no proofs, derivations, technical constructions (such as the inversion of endomorphism categories or the definition of categorical spectra), or detailed arguments for the Brown representability theorem can be examined. This prevents verification of soundness, consistency with the paper's own equations, or identification of any gaps in the central claims.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their summary of the paper and for recognizing its potential to extend stable homotopy theory to higher categories. We address the single major comment below.

read point-by-point responses

  1. Referee: Only the abstract is available for review; no proofs, derivations, technical constructions (such as the inversion of endomorphism categories or the definition of categorical spectra), or detailed arguments for the Brown representability theorem can be examined. This prevents verification of soundness, consistency with the paper's own equations, or identification of any gaps in the central claims.

    Authors: The full manuscript, including the complete technical constructions for inverting endomorphism categories, the definition of categorical spectra, all derivations, and the detailed proof of the categorical Brown representability theorem, is available on arXiv as 2605.05195. The abstract served only as a summary for the initial overview; the submitted review package contains the entire paper with the relevant sections, equations, and arguments. We are prepared to supply any specific excerpts or additional explanations if a particular part of the argument requires closer inspection. revision: no

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The abstract outlines an extension of stable homotopy theory to higher categories via inversion of endomorphism categories, leading to a categorical Brown representability theorem. No equations, derivations, or self-citations are provided in the available text that would allow inspection for reductions by construction, fitted inputs renamed as predictions, or load-bearing self-referential steps. The main result is presented as a classification theorem with consequences for homological algebra, without evident self-definition or smuggling of ansatzes. Per the hard rules, absence of inspectable load-bearing steps that reduce to inputs requires a score of 0 and empty steps list.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Only the abstract is available, so the ledger is necessarily incomplete. The central claim appears to rest on the domain assumption that inverting endomorphism categories yields a stable homotopy theory, together with the introduction of categorical spectra as representing objects. No explicit free parameters or invented entities with independent evidence are stated in the abstract.

axioms (1)
  • domain assumption Inverting endomorphism categories produces a stable homotopy theory of higher categories in which higher categories play the role of spaces
    This is the governing principle stated in the abstract as the extension of classical stable homotopy theory.
invented entities (1)
  • categorical spectra no independent evidence
    purpose: Represent homology theories of higher categories
    Introduced in the abstract as the stable objects that classify categorical homology theories via the Brown representability theorem.

pith-pipeline@v0.9.0 · 5444 in / 1459 out tokens · 37020 ms · 2026-05-08T15:55:00.493349+00:00 · methodology

0 comments
read the original abstract

Stable homotopy theory is governed by the principle that after inverting loop spaces, homotopy types become the representing objects for homology theories. We show that this principle extends to higher category theory: inverting endomorphism categories leads to a stable homotopy theory of higher categories, in which higher categories play the role of spaces and categorical spectra represent homology theories of higher categories. Classical stable homotopy theory is recovered by inverting morphisms. While several fundamental features of classical stable homotopy theory persist in this setting, new phenomena arise from categorical dimension. In particular, stabilization is realized by spectrum objects, and the passage from unstable to stable homotopy theory is controlled within a stable range. Our main result is a categorical Brown representability theorem classifying categorical homology theories by categorical spectra. As a consequence, categorical homology theories give rise to long exact sequences and support a higher-categorical homological algebra. As an application, we construct the derived category of a rig, extending homological algebra beyond additive contexts.

discussion (0)

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

Forward citations

Cited by 1 Pith paper

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

  1. Fibrations in Oriented Category Theory

    math.AT 2026-07 conditional novelty 6.0

    The paper establishes several equivalent characterizations of fibrations of (∞,∞)-categories, shows the category of fibrations forms an oriented category, and constructs free, universal, and Grothendieck-construction ...

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [1]

    Brauer groups and étale cohomology in derived algebraic geometry.Geometry & Topology, 18(2):1149–1244, 2014

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

    work page 2014

  2. [2]

    On the homology of non-connected monoids and their associated groups

    Michael Barratt and Stewart Priddy. On the homology of non-connected monoids and their associated groups. Comment. Math. Helv, 47(1-14):387–388, 1972

    work page 1972

  3. [3]

    The Gray tensor product of $(\infty,n)$-categories

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

    work page Pith review arXiv 2023

  4. [4]

    Complexes of stable $\infty$-categories

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

    work page Pith review arXiv 2023

  5. [5]

    A categorified Dold-Kan correspondence.Selecta Mathematica, 27(2):14, 2021

    Tobias Dyckerhoff. A categorified Dold-Kan correspondence.Selecta Mathematica, 27(2):14, 2021

    work page 2021

  6. [6]

    Universality of multiplicative infinite loop space machines

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

    work page 2016

  7. [7]

    Enriched∞-categories via non-symmetric∞-operads.Advances in Mathematics, 279:575 – 716, 2015

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

    work page 2015

  8. [8]

    Oriented category theory.https://arxiv.org/abs/2510.10504, 2025

    David Gepner and Hadrian Heine. Oriented category theory.arXiv:2510.10504, 2025

    work page arXiv 2025

  9. [9]

    The higher Morita category ofEn-algebras.Geometry & Topology, 21(3):1631–1730, 2017

    Rune Haugseng. The higher Morita category ofEn-algebras.Geometry & Topology, 21(3):1631–1730, 2017

    work page 2017

  10. [10]

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

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

    work page arXiv 2017

  11. [11]

    An equivalence between enriched∞-categories and∞-categories with weak action.Advances in Mathematics, 2023

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

    work page 2023

  12. [12]

    The higher algebra of weighted colimits

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

    work page Pith review arXiv 2024

  13. [13]

    A local-global principle for parametrized∞-categories

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

    work page arXiv 2024

  14. [14]

    On bi-enriched $\infty$-categories

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

    work page Pith review arXiv 2024

  15. [15]

    An equivalence between two models of∞-categories of enriched presheaves.Applied Categorical Structures, 33(1):2, 2025

    Hadrian Heine. An equivalence between two models of∞-categories of enriched presheaves.Applied Categorical Structures, 33(1):2, 2025

    work page 2025

  16. [17]

    Homology of higher categories

    Hadrian Heine. Homology of higher categories.arXiv:2505.22640v2, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  17. [18]

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

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

    work page 2020

  18. [19]

    Categorical spectra as pointed(∞, Z)-categories

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

    work page arXiv 2024

  19. [20]

    Higher Algebra

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

    work page

  20. [21]

    On the classification of topological field theories.Current developments in mathematics, 2008(1):129– 280, 2008

    Jacob Lurie. On the classification of topological field theories.Current developments in mathematics, 2008(1):129– 280, 2008

    work page 2008

  21. [22]

    Princeton University Press, Princeton, NJ, 2009

    Jacob Lurie.Higher Topos Theory, volume 170 ofAnnals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2009

    work page 2009

  22. [23]

    The Algebra of Categorical Spectra

    Naruki Masuda. The algebra of categorical spectra.arXiv: 2605.03114, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  23. [24]

    Geometry and higher category theory.https://people.mpim-bonn.mpg.de/scholze/Gestalten.pdf, 2025

    Peter Scholze. Geometry and higher category theory.https://people.mpim-bonn.mpg.de/scholze/Gestalten.pdf, 2025

    work page 2025

  24. [25]

    Higher quasicoherent sheaves

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

    work page 2021