A folk model structure on omega-cat
From MaRDI portal
Publication:973942
DOI10.1016/J.AIM.2010.01.007zbMATH Open1236.18017arXiv0712.0617OpenAlexW1992674231MaRDI QIDQ973942FDOQ973942
Authors: Yves Lafont, François Métayer, Krzysztof Worytkiewicz 
Publication date: 26 May 2010
Published in: Advances in Mathematics (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/0712.0617
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 \(\infty \)-groupoids revisited
Cites Work
- On the Homology of Associative Algebras
- Title not available (Why is that?)
- Homotopical algebra
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Understanding the small object argument
- Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
- Cofibrant objects among higher-dimensional categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Sheafifiable homotopy model categories
- Sheafifiable homotopy model categories. II
- Limits indexed by category-valued 2-functors
- Complete rewriting systems and homology of monoid algebras
- Strong stacks and classifying spaces
- Polygraphic resolutions and homology of monoids
- Word problems and a homological finiteness condition for monoids
- A Quillen model structure for bicategories
- Title not available (Why is that?)
- A finiteness condition for rewriting systems
- Left-determined model categories and universal homotopy theories
- A Quillen model structure for 2-categories
- Higher-dimensional word problems with applications to equational logic
- A model structure à la Thomason on 2-Cat
- The three dimensions of proofs
- Title not available (Why is that?)
- Algebra and geometry of rewriting
- Two polygraphic presentations of Petri nets
- Title not available (Why is that?)
Cited In (31)
- Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids
- Towards a globular path object for weak \(\infty\)-groupoids
- Shuffle polygraphic resolutions for operads
- Free precategories as presheaf categories
- Polygraphic resolutions and homology of monoids
- Equipping weak equivalences with algebraic structure
- The Brown-Golasiński model structure on strict \(\infty \)-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
- A Quillen theorem B for strict \(\infty \)-categories
- Higher-dimensional normalisation strategies for acyclicity
- 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
- Orientals as free algebras
- A combinatorial-topological shape category for polygraphs
- On the homotopy hypothesis for 3-groupoids
- An inductive model structure for strict \(\infty\)-categories
- Elimination of quotients in various localisations of premodels into models
- A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof
- Model structures for \(( \infty,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
- Polygraphs and Discrete Conduch{\'e} $\omega$-Functors
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)
