Abstract
We construct an (∞,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 Θ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.
Original language | English |
---|---|
Article number | 107461 |
Pages (from-to) | 1-78 |
Number of pages | 78 |
Journal | Advances in Mathematics |
Volume | 377 |
Early online date | 28 Oct 2020 |
DOIs | |
Publication status | Published - 22 Jan 2021 |
Keywords
- 2-quasi-category
- Gray tensor product