REVIEW 7 cited by
Cubes are dense in (infty,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
Cubes are dense in (infty,infty)-categories
read the original abstract
We show that the strict 1-category $\square$ of cubes -- defined to be the full subcategory of strict $\omega$-categories whose objects are the Gray tensor powers of the arrow category -- are dense in the $(\infty,1)$-category $\mathsf{Cat}_\omega$ of weak $(\infty,\infty)$-categories, in both Rezk-complete and incomplete variants. More precisely, we show that Joyal's category $\Theta$ is contained in the idempotent completion of $\square$, and in fact that the idempotent completion of $\square$ is closed under suspensions and wedge sums. This result extends a theorem of Campbell and Maehara in dimension 2. Following Campbell and Maehara's program, we will in future work apply this result to give a new construction of the Gray tensor product of weak $(\infty,n)$-categories.
Forward citations
Cited by 7 Pith papers
-
The Algebra of Categorical Spectra
Constructs the tensor product of categorical spectra and uses stability phenomena to derive the cobordism hypothesis with singularities categorically from the ordinary cobordism hypothesis.
-
Homotopy Posets, Postnikov Towers, and Hypercompletions of $\infty$-Categories
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...
-
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.
-
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.
-
Fibrations in Oriented Category Theory
The paper establishes several equivalent characterizations of fibrations of (∞,∞)-categories, shows the category of fibrations forms an oriented category, and constructs free, universal, and Grothendieck-construction ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.