Towards a Thomason model structure on the category of strict n-categories
From MaRDI portal
Publication:2450113
Abstract: The purpose of this article is to present ideas towards obtaining a model category structure on the category of small strict n-categories, generalizing the one obtained by Thomason on ordinary categories. Following ideas of Grothendieck and Cisinski, we obtain an "abstract Thomason theorem", which easily implies the classical Thomason theorem. We deduce a 2-categorical Thomason theorem, an incorrect proof of which has been published by K. Worytkiewicz, K. Hess, P. Parent and A. Tonks. For n > 2, we isolate sufficient conditions to obtain an n-categorical Thomason theorem. These conditions will be investigated in further work.
This paper is concerned with the following questions. Is there a model category structure on the category of strict \(n\)-categories such that the weak equivalences are the morphisms inducing weak equivalences between nerves (the Thomason weak equivalences)? If so, is the resulting homotopy category Quillen equivalent to the homotopy category of simplicial sets? In the case \(n=1\), \textit{R. W. Thomason} [Cah. Topologie Géom. Différ. Catégoriques 21, 305--324 (1980; Zbl 0473.18012)] has shown that these questions have affirmative answers. The authors now prove an abstract Thomason theorem giving sufficient conditions for affirmative answers in general, and they show that these conditions are satisfied in the case \(n=2\).
Recommendations
Cites work
- A cellular nerve for higher categories
- A folk model structure on omega-cat
- A generalization of Quillen's Theorem A for lax 2-functors
- A model structure à la Thomason on 2-Cat
- A Quillen model structure for 2-categories
- A Quillen model structure for bicategories
- A Thomason model structure on the category of small \(n\)-fold categories
- Cohomological direct images in model categories
- Comparing geometric realizations of tricategories
- Complexe cotangent et déformations. I. (The cotangent complex and deformations. I.)
- Complexe cotangent et déformations. II
- Duality for simple -categories and disks
- Function complexes in homotopical algebra
- Grothendieck's homotopy theory
- Higher algebraic K-theory: I
- Higher Topos Theory (AM-170)
- Homotopical algebra
- Homotopy fiber sequences induced by 2-functors
- scientific article; zbMATH DE number 3741608 (Why is no real title available?)
- scientific article; zbMATH DE number 40564 (Why is no real title available?)
- scientific article; zbMATH DE number 1226952 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 720885 (Why is no real title available?)
- scientific article; zbMATH DE number 1860105 (Why is no real title available?)
- scientific article; zbMATH DE number 922680 (Why is no real title available?)
- scientific article; zbMATH DE number 1389228 (Why is no real title available?)
- scientific article; zbMATH DE number 5934745 (Why is no real title available?)
- scientific article; zbMATH DE number 5219546 (Why is no real title available?)
- scientific article; zbMATH DE number 3297895 (Why is no real title available?)
- scientific article; zbMATH DE number 3372161 (Why is no real title available?)
- Nonstrict notions of n-category and n-groupoid via multisimplical sets
- Omega-categories and chain complexes
- On c.s.s. Complexes
- On combinatorial model categories
- On the equivariant \(2\)-type of a \(G\)-space
- On the geometry of 2-categories and their classifying spaces
- On the loop space of a 2-category
- Presheaves as models for homotopy types
- Quillen closed model structures for sheaves
- Sheafifiable homotopy model categories
- The algebra of oriented simplexes
- The geometric realization of a semi-simplicial complex
- [[:Publication:1928247|The groupoidal analogue \(\widetildeTemplate:\Theta\) to Joyal's category \(\Theta\) is a test category]]
- The universal property of the multitude of trees
Cited in
(27)- Strict n-categories and augmented directed complexes model homotopy types
- \(K\)-theory for 2-categories
- A Quillen's Theorem A for strict -categories. I: The simplicial proof
- Homology of categories via polygraphic resolutions
- Comparison of \(n\)-categorical nerves
- Nerves of 2-categories and 2-categorification of ( ,2)-categories
- Rigidification of algebras over essentially algebraic~theories
- Corrigendum to: ``A model structure à la Thomason on 2-Cat
- A categorical characterization of strong Steiner \(\omega\)-categories
- Toward a Thomason model structure on the category of strict n-categorie
- Homotopy theory for algebras over polynomial monads
- A Quillen model structure for Gray-categories
- scientific article; zbMATH DE number 1770057 (Why is no real title available?)
- scientific article; zbMATH DE number 1389228 (Why is no real title available?)
- A Quillen theorem B for strict \(\infty \)-categories
- Homotopy colimits of 2-functors
- An \((\infty ,2)\)-categorical pasting theorem
- Fundamental pushouts of \(n\)-complicial sets
- A Quillen's theorem A for strict -categories. II: The -categorical proof
- scientific article; zbMATH DE number 7323983 (Why is no real title available?)
- A Thomason model structure on the category of small \(n\)-fold categories
- The enriched Thomason model structure on 2-categories
- Polygraphic homology of local systems
- Pushouts of Dwyer maps are (, 1)-categorical
- Rigidification of higher categorical structures
- A model structure à la Thomason on 2-Cat
- A folk model structure on omega-cat
This page was built for publication: Towards a Thomason model structure on the category of strict \(n\)-categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2450113)
