The Gray tensor product for 2-quasi-categories

Abstract

We construct an $(\infty ,2)$-version of the (lax) Gray tensor product. On the 1-categorical level, this is a binary (or more generally an $n$-ary) functor on the category of ${\Theta }_2$-sets, and it is shown to be left Quillen with respect to Ara's model structure. Moreover we prove that this tensor product forms part of a "homotopical" (biclosed) monoidal structure, or more precisely a normal lax monoidal structure that is associative up to homotopy.

arXiv commentv3: 63 pages. Minor revision. Published version

References in corpus (7)

• Iterated wreath product of the simplex category and iterated loop spaces
• Higher quasi-categories vs higher Rezk spaces
• The theory and practice of Reedy categories
• Weak model categories in classical and constructive mathematics
• A homotopy coherent cellular nerve for bicategories
• Non-Simplicial Nerves for Two-Dimensional Categorical Structures
• Inner horns for 2-quasi-categories

Cited by in corpus (4)

• On lax transformations, adjunctions, and monads in $(\infty ,2)$-categories
• An $(\infty ,2)$-categorical pasting theorem
• Equivalence of cubical and simplicial approaches to $(\infty ,n)$-categories
• A cubical model for $(\infty ,n)$-categories