Abstract: We establish a model structure on the category of strict omega-categories. The constructions leading to the model structure in question are expressed entirely within the scope of omega-categories, building on a set of generating cofibrations and a class of weak equivalences as basic items. All object are fibrant while cofibrant objects are exactly the free ones. Our model structure transfers to n-categories along right-adjoints, for each n, thus recovering the known cases n = 1 and n = 2.
Recommendations
- The folk model category structure on strict \(\omega\)-categories is monoidal
- A cellular nerve for higher categories
- Towards a Thomason model structure on the category of strict \(n\)-categories
- Toward a Thomason model structure on the category of strict \(n\)-categorie
- The Brown-Golasiński model structure on strict -groupoids revisited
Cites work
- scientific article; zbMATH DE number 19499 (Why is no real title available?)
- scientific article; zbMATH DE number 1226952 (Why is no real title available?)
- scientific article; zbMATH DE number 517043 (Why is no real title available?)
- scientific article; zbMATH DE number 1064116 (Why is no real title available?)
- scientific article; zbMATH DE number 1924513 (Why is no real title available?)
- scientific article; zbMATH DE number 3297895 (Why is no real title available?)
- A Quillen model structure for 2-categories
- A Quillen model structure for bicategories
- A finiteness condition for rewriting systems
- A model structure à la Thomason on 2-Cat
- Algebra and geometry of rewriting
- Cofibrant objects among higher-dimensional categories
- Complete rewriting systems and homology of monoid algebras
- Higher-dimensional word problems with applications to equational logic
- Homotopical algebra
- Left-determined model categories and universal homotopy theories
- Limits indexed by category-valued 2-functors
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
- On the Homology of Associative Algebras
- Polygraphic resolutions and homology of monoids
- Sheafifiable homotopy model categories
- Sheafifiable homotopy model categories. II
- Strong stacks and classifying spaces
- The three dimensions of proofs
- Two polygraphic presentations of Petri nets
- Understanding the small object argument
- Word problems and a homological finiteness condition for monoids
Cited in
(31)- Strict -groupoids are Grothendieck -groupoids
- Towards a globular path object for weak \(\infty\)-groupoids
- Polygraphs and Discrete Conduch{\'e} $\omega$-Functors
- Shuffle polygraphic resolutions for operads
- Polygraphic resolutions and homology of monoids
- Free precategories as presheaf categories
- Equipping weak equivalences with algebraic structure
- The Brown-Golasiński model structure on strict -groupoids revisited
- Towards a Thomason model structure on the category of strict \(n\)-categories
- Algebraic models of cubical weak \(\infty\)-categories with connections
- The folk model category structure on strict \(\omega\)-categories is monoidal
- Combinatorial and accessible weak model categories
- Hom weak ω-categories of a weak ω-category
- Nerves and cones of free loop-free \(\omega\)-categories
- Higher-dimensional normalisation strategies for acyclicity
- A Quillen theorem B for strict \(\infty \)-categories
- Homology of categories via polygraphic resolutions
- What is an equivalence in a higher category?
- String diagrams for 4-categories and fibrations of mapping 4-groupoids
- On fibrant objects in model categories
- Fundamental pushouts of \(n\)-complicial sets
- A combinatorial-topological shape category for polygraphs
- Orientals as free algebras
- On the homotopy hypothesis for 3-groupoids
- Elimination of quotients in various localisations of premodels into models
- An inductive model structure for strict \(\infty\)-categories
- A Quillen's Theorem A for strict -categories. I: The simplicial proof
- Model structures for ( ,n)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces
- Nerves of 2-categories and 2-categorification of \(( \infty ,2)\)-categories
- A categorical characterization of strong Steiner \(\omega\)-categories
- Polygraphic homology of local systems
This page was built for publication: A folk model structure on omega-cat
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q973942)
