Stable homotopy theory of higher categories
Abstract
Stable homotopy theory is governed by the principle that inverting the operation of forming loop spaces produces representing objects for homology theories. We show that this principle is not specific to topology but reflects an intrinsic structural feature of higher category theory: inverting the operation of forming 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. This theory necessarily requires enrichment in the Gray tensor product, reflecting its genuinely higher-categorical nature. Classical stable homotopy theory is recovered by passing to classifying spaces. Its fundamental mechanisms arise as shadows of richer categorical phenomena: stabilization is governed by a categorical Freudenthal suspension theorem, whose classical counterpart arises by passing to classifying spaces. Our main result is a categorical Brown representability theorem classifying homology theories of higher categories by categorical spectra. As a consequence, categorical homology theories give rise to categorical analogues of long exact sequences and to homological algebra of higher categories. As guiding example we study categorical homology, the categorical homology theory whose coeffients are the natural numbers, and prove a Hurewicz theorem and Eilenberg-Zilber theorem.
Related
- Stable homotopy theory of higher categories with adjoints
- Auslander correspondence for higher stable dg categories and cluster Morita theory
- On the internal homotopy theory of motivic categories
- Complex Projective Spaces in Rational SO(2)-Equivariant Stable Homotopy Theory
- Hermitian K-theory for stable ∞-categories III: Grothendieck--Witt groups of rings
BibTeX
@misc{heine2026stable,
title = {{Stable homotopy theory of higher categories}},
author = {Hadrian Heine},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2605.05195},
eprint = {2605.05195},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2605.05195},
}
RIS
TY - UNPB
TI - Stable homotopy theory of higher categories
AU - Hadrian Heine
PY - 2026
DA - 2026/09/07
PB - arXiv
DO - 10.48550/arxiv.2605.05195
UR - https://arxiv.org/abs/2605.05195
AB - Stable homotopy theory is governed by the principle that inverting the operation of forming loop spaces produces representing objects for homology theories. We show that this principle is not specific to topology but reflects an intrinsic structural feature of higher category theory: inverting the operation of forming 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. This theory necessarily requires enrichment in the Gray tensor product, reflecting its genuinely higher-categorical nature. Classical stable homotopy theory is recovered by passing to classifying spaces. Its fundamental mechanisms arise as shadows of richer categorical phenomena: stabilization is governed by a categorical Freudenthal suspension theorem, whose classical counterpart arises by passing to classifying spaces. Our main result is a categorical Brown representability theorem classifying homology theories of higher categories by categorical spectra. As a consequence, categorical homology theories give rise to categorical analogues of long exact sequences and to homological algebra of higher categories. As guiding example we study categorical homology, the categorical homology theory whose coeffients are the natural numbers, and prove a Hurewicz theorem and Eilenberg-Zilber theorem.
ER -