The Gray tensor product for 2-quasi-categories
type: Item
instance of: scholarly article
title: The Gray tensor product for 2-quasi-categories
zbMATH Open document ID: 1471.18024
author: Yuki Maehara
published in: Advances in Mathematics
publication date: 2020-12-30T00:00:00Z
full work available at URL: https://arxiv.org/abs/2003.11757
review text: An important construction in the theory of 2-categories is the Gray tensor product, in large part because it allows for a closed monoidal structure on the 2-category of 2-categories. Furthermore, its construction is closely related to a general theory of monads in 2-categories. The purpose of this paper is to develop an analogous notion of the Gray tensor product in the homotopical context of \((\infty,2)\)-categories, specifically in the model of \(\Theta_2\)-sets, or 2-quasi-categories, as developed by Ara. Building on similar constructions of Verity for complicial sets, the author is able to describe a theory of monads and a definition of the Gray tensor product in this setting. Doing so requires overcoming substantial combinatorial obstacles in order to verify, for example, that this tensor product is associative up homotopy. It seems likely that the arguments used in this paper will be useful more generally for anyone working with the combinatorics of \(\Theta_2\)-sets.
reviewed by: Julie Bergner
Mathematics Subject Classification ID: 18N10
Mathematics Subject Classification ID: 18M15
Mathematics Subject Classification ID: 18N65
Mathematics Subject Classification ID: 18M05
zbMATH DE Number: 7289437
zbMATH Keywords: 2-quasi-category
zbMATH Keywords: Gray tensor product
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3094946557
arXiv ID: 2003.11757
cites work: Higher Quasi-Categories vs Higher Rezk Spaces
cites work: A cellular nerve for higher categories
cites work: Iterated wreath product of the simplex category and iterated loop spaces
cites work: Reedy categories and the \(\varTheta\)-construction
cites work: A homotopy coherent cellular nerve for bicategories
cites work: Q5360829
cites work: Formal category theory: Adjointness for 2-categories
cites work: Q4172200
cites work: Weak model categories in classical and constructive mathematics
cites work: On the equivalence between Lurie's model and the dendroidal model for infinity-operads
cites work: Q5431520
cites work: Q4679165
cites work: Inner horns for 2-quasi-categories
cites work: The theory and practice of Reedy categories
cites work: Q3068077
cites work: The formal theory of monads
cites work: Weak complicial sets. I: Basic homotopy theory
cites work: Complicial sets characterising the simplicial nerves of strict 𝜔-categories
DOI: 10.1016/J.AIM.2020.107461
Recommended article: Formal aspects of Gray's tensor products of 2-categories
Recommended article: Gray tensor products and lax functors of \((\infty, 2)\)-categories
Recommended article: Q4226768
Recommended article: A cocategorical obstruction to tensor products of Gray-categories
Recommended article: The Gray monoidal product of double categories
Recommended article: Strictification tensor product of 2-categories
Recommended article: Tensor product categorifications, Verma modules and the blob 2-category
Recommended article: On tensor products in concrete categories
Recommended article: Q4258338
Recommended article: Equivariant Morita theory for graded tensor categories
description: scientific article