Pith. sign in

REVIEW 4 cited by

On the Unicity of the Homotopy Theory of Higher Categories

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1112.0040 v6 pith:K7SEZ6DA submitted 2011-11-30 math.AT math.CT

On the Unicity of the Homotopy Theory of Higher Categories

Clark Barwick , Christopher Schommer-Pries This is my paper
classification math.AT math.CT
keywords categoriessegalcompleteinftyauthorfirstmathbbprove
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We axiomatise the theory of $(\infty,n)$-categories. We prove that the space of theories of $(\infty,n)$-categories is a $B(\mathbb{Z}/2)^n$. We prove that Rezk's complete Segal $\Theta_n$-spaces, Simpson and Tamsamani's Segal $n$-categories, the first author's $n$-fold complete Segal spaces, Kan and the first author's $n$-relative categories, and complete Segal space objects in any model of $(\infty,n-1)$-categories all satisfy our axioms. Consequently, these theories are all equivalent in a manner that is unique up to the action of $(\mathbb{Z}/2)^n$.

discussion (0)

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

Forward citations

Cited by 4 Pith papers

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

  1. An Oriented Street--Roberts Conjecture

    math.AT 2026-06 unverdicted novelty 7.0

    Proves an oriented Street-Roberts conjecture by presenting (∞,∞)-categories as sheaves on families of oriented polytopes, generalizing Campion's work.

  2. Structured Real Snaith Equivalences

    math.AT 2026-06 accept novelty 7.0

    Structured Real Snaith equivalences hold as EC2∞- and Eρ-algebra maps, enabling THR computations for KUR and MUPR via a norm-inverted variant.

  3. Structured Quotients in Real Homotopy Theory

    math.AT 2026-06 unverdicted novelty 6.0

    Authors construct ring involution structures on quotients of Real bordism, orient Lubin-Tate theory via truncated Brown-Peterson spectra, and characterize equivalences after chromatic localization.

  4. Structured Real Snaith Equivalences

    math.AT 2026-06 unverdicted novelty 5.0

    Short proof of Real Snaith equivalences via Wilson spaces yields E6 orientations, recovers E2ρ-structure on Real BP, and computes THR(KUR) and THR(MUPR) using a norm-inverted variant via nilpotence.