Pith. sign in

REVIEW 3 cited by

The complicial model of (infty,ω)-categories

Not yet reviewed by Pith; the record is open.

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 2207.08504 v3 pith:NN2XWNAT submitted 2022-07-18 math.CT

The complicial model of (infty,ω)-categories

classification math.CT
keywords categoriescomplicialinftymodelnon-completeomegasetstext
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

In this text, we show that Verity $n$-complicial sets are a model of (non-complete) $(\infty,n)$-categories.

discussion (0)

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

Forward citations

Cited by 3 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. 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.

  3. Homology of higher categories

    math.AT 2025-05 unverdicted novelty 7.0

    Defines categorical homology via an Eilenberg-Steenrod analogue, proves a Dold-Kan correspondence using the Street nerve, and derives a Dold-Thom theorem for multiplicative structure and globe computations.