A Quillen model structure for Gray-categories

Abstract

A Quillen model structure on the category Gray-Cat of Gray-categories is described, for which the weak equivalences are the triequivalences. It is shown to restrict to the full subcategory Gray-Gpd of Gray-groupoids. This is used to provide a functorial and model-theoretic proof of the unpublished theorem of Joyal and Tierney that Gray-groupoids model homotopy 3-types. The model structure on Gray-Cat is conjectured to be Quillen equivalent to a model structure on the category Tricat of tricategories and strict homomorphisms of tricategories.

v2: fuller discussion of relationship with work of Berger; localizations are done directly with simplicial sets

References in corpus (1)

• A Quillen model structure for Gray-categories

Cited by in corpus (33)

• The Classification of Two-Dimensional Extended Topological Field Theories
• A Quillen model structure for Gray-categories
• (Op)lax natural transformations, twisted quantum field theories, and "even higher" Morita categories
• Biequivalences in tricategories
• On the homotopy theory of enriched categories
• Enriched weakness
• The Brown-Golasinski model structure on strict $\infty$-groupoids revisited
• Pointed homotopy and pointed lax homotopy of 2-crossed module maps
• Accessible aspects of 2-category theory
• A homotopy coherent cellular nerve for bicategories
• Pointed Homotopy of Maps Between 2-Crossed Modules of Commutative Algebras
• A 3-categorical perspective on G-crossed braided categories
• K-theory for 2-categories
• Geometric Realizations of Tricategories
• A 2Cat-inspired model structure for double categories
• Towards a Thomason model structure on the category of strict n-categories
• A cocategorical obstruction to tensor products of Gray-categories
• A model structure for weakly horizontally invariant double categories
• Mapping Spaces of Gray-Categories
• Bi-initial objects and bi-representations are not so different
• $(\infty ,1)$-Categorical Comprehension Schemes
• Q-system completion is a 3-functor
• On the homotopy hypothesis in dimension 3
• A double $(\infty ,1)$-categorical nerve for double categories
• How strict is strictification?
• Nerves of 2-categories and 2-categorification of $(\infty ,2)$-categories
• Homotopy locally presentable enriched categories
• The Euler characteristic of an enriched category
• On semiflexible, flexible and pie algebras
• The Euler characteristic of a bicategory and the product formula for fibered bicategories
• A folk model structure on omega-cat
• A Quillen model structure for bigroupoids and pseudofunctors
• Shadows are Bicategorical Traces