REVIEW 6 cited by
The Gray tensor product of (infty,n)-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
The Gray tensor product of (infty,n)-categories
read the original abstract
In this note, we leverage the author's pasting theorem for $(\infty,n)$-categories to construct new models of $(\infty,n)$-categories for all $n \leq \infty$, as presheaves on certain categories of computads. Among these new models are some which facilitate a construction of the Gray tensor product of $(\infty,n)$-categories Day convolution and reflection, which we carry out here. After constructing this Gray tensor product of $(\infty,n)$-categories, we characterize it via several model-independent universal properties.
Forward citations
Cited by 6 Pith papers
-
Higher Semiadditive Character Theory
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.
-
An Oriented Street--Roberts Conjecture
Proves an oriented Street-Roberts conjecture by presenting (∞,∞)-categories as sheaves on families of oriented polytopes, generalizing Campion's work.
-
The Gray Product of $(\infty, n)$-Categories via Lax Grids
New model of (∞,n)-categories as Segal sheaves on lax grids yields direct Day convolution construction of Gray tensor product agreeing with Campion's.
-
The Gray Product of $(\infty, n)$-Categories via Lax Grids
Univalent Segal sheaves on lax grids are monoidally equivalent to (∞,n)-categories with Campion's Gray product, constructed by Day convolution.
-
Stable homotopy theory of higher categories
Inverting endomorphism categories produces a stable homotopy theory of higher categories in which categorical spectra classify homology theories via a categorical Brown representability theorem.
-
Homology of higher categories
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.