The Gray tensor product of (∞,n)-categories
Abstract
In this note, we leverage the author's pasting theorem for (∞,n)-categories to construct new models of (∞,n)-categories for all n ≤ ∞, as presheaves on certain categories of computads. Among these new models are some which facilitate a construction of the Gray tensor product of (∞,n)-categories Day convolution and reflection, which we carry out here. After constructing this Gray tensor product of (∞,n)-categories, we characterize it via several model-independent universal properties.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.