The Gray tensor product for 2-quasi-categories

DOI10.1016/J.AIM.2020.107461MaRDI QIDQ2217525zbMATH OpenOpenAlexFDO

Authors Yuki Maehara

Publication date 30 December 2020

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2003.11757

zbMATH Keywords

2-quasi-categoryGray tensor product

Mathematics Subject Classification ID

Monoidal categories, symmetric monoidal categories (18M05) Braided monoidal categories and ribbon categories (18M15) 2-categories, bicategories, double categories (18N10) ((infty, n))-categories and ((infty,infty))-categories (18N65)

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 $Thet{a}_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.

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.

Recommendations

• Formal aspects of Gray's tensor products of 2-categories
• Gray tensor products and lax functors of \((\infty, 2)\)-categories
• scientific article; zbMATH DE number 1247370
• A cocategorical obstruction to tensor products of Gray-categories
• The Gray monoidal product of double categories
• Strictification tensor product of 2-categories
• Tensor product categorifications, Verma modules and the blob 2-category
• On tensor products in concrete categories
• scientific article; zbMATH DE number 1335298
• Equivariant Morita theory for graded tensor categories

Cites work

• A cellular nerve for higher categories
• A homotopy coherent cellular nerve for bicategories
• A study in derived algebraic geometry. Volume I: Correspondences and duality
• Complicial sets characterising the simplicial nerves of strict 𝜔-categories
• Formal category theory: Adjointness for 2-categories
• Higher Quasi-Categories vs Higher Rezk Spaces
• scientific article; zbMATH DE number 5836094 (Why is no real title available?)
• scientific article; zbMATH DE number 3606644 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 5219541 (Why is no real title available?)
• Inner horns for 2-quasi-categories
• Iterated wreath product of the simplex category and iterated loop spaces
• On the equivalence between Lurie's model and the dendroidal model for infinity-operads
• Reedy categories and the \(\varTheta\)-construction
• The formal theory of monads
• The theory and practice of Reedy categories
• Weak complicial sets. I: Basic homotopy theory
• Weak model categories in classical and constructive mathematics

Cited in

(9)

• The Gray monoidal product of double categories
• Gray tensor products and lax functors of \((\infty, 2)\)-categories
• Inner horns for 2-quasi-categories
• Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories
• Formal aspects of Gray's tensor products of 2-categories
• On lax transformations, adjunctions, and monads in (,2)-categories
• An \((\infty ,2)\)-categorical pasting theorem
• Straightening for lax transformations and adjunctions of (, 2)-categories
• A cubical model for (, n)-categories

This page was built for publication: The Gray tensor product for 2-quasi-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2217525)