Pith. sign in

REVIEW 3 cited by

Categorical Theory 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 2406.05425 v2 pith:VR4X6MQW submitted 2024-06-08 math.CT

Categorical Theory of (infty,ω)-Categories

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

This text is dedicated to the development of the theory of $(\infty,\omega)$-categories. We present generalizations of standard results from category theory, such as the lax Grothendieck construction, the Yoneda lemma, lax (co)limits and lax Kan extensions, among others.

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. Higher Semiadditive Character Theory

    math.AT 2026-07 accept novelty 7.0

    Every ∞-commutative monoid has a universal (n−t)-fold semiadditive character that blue-shifts height, recovers the transchromatic character on Morava E-theory, and computes L_Q(S^A_{K(n)}) via GL_{n−t}(Z_p)-fixed points.

  2. The Gray Product of $(\infty, n)$-Categories via Lax Grids

    math.CT 2026-06 unverdicted novelty 7.0

    New model of (∞,n)-categories as Segal sheaves on lax grids yields direct Day convolution construction of Gray tensor product agreeing with Campion's.

  3. The Gray Product of $(\infty, n)$-Categories via Lax Grids

    math.CT 2026-06 accept novelty 7.0

    Univalent Segal sheaves on lax grids are monoidally equivalent to (∞,n)-categories with Campion's Gray product, constructed by Day convolution.