Combinatorial model categories have presentations
From MaRDI portal
Abstract: We show that every combinatorial model category can be obtained, up to Quillen equivalence, by localizing a model category of diagrams of simplicial sets. This says that any combinatorial model category can be built up from a category of `generators' and a set of `relations'---that is, any combinatorial model category has a presentation.
Recommendations
Cites work
- Accessible Categories: The Foundations of Categorical Model Theory
- Homotopical algebra
- Homotopy limits, completions and localizations
- Homotopy theories
- 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 692330 (Why is no real title available?)
- Replacing model categories with simplicial ones
- Universal homotopy theories
Cited in
(81)- About Quillen's homotopy theorie of derivatives
- Model topoi and motivic homotopy theory
- Enhancing the filtered derived category
- Primary operations in differential cohomology
- A May-type spectral sequence for higher topological Hochschild homology
- Bousfield localisations along Quillen bifunctors
- Bousfield localisation and colocalisation of one-dimensional model structures
- Parametrized spectra, multiplicative Thom spectra and the twisted Umkehr map
- Homotopy fiber products of homotopy theories
- \(K\)-theory and derived equivalences
- Class-locally presentable and class-accessible categories
- Fibre sequences and localization of simplicial sheaves
- Simplicial presheaves of coalgebras
- A universal characterization of higher algebraic K-theory
- A colimit decomposition for homotopy algebras in Cat
- Tietze equivalences as weak equivalences
- Unstable operations on \(K\)-theory for singular schemes
- Enriched model categories and presheaf categories
- Chern characters, equivariant traces and derived algebraic geometry
- Bivariant cyclic cohomology and Connes' bilinear pairings in noncommutative motives
- On the homotopy theory of Grothendieck \(\infty \)-groupoids
- On homotopy varieties
- Spectral sequences in smooth generalized cohomology
- Localization of cofibration categories and groupoid \(C^\ast\)-algebras
- Presentably symmetric monoidal \(\infty\)-categories are represented by symmetric monoidal model categories
- Elimination of quotients in various localisations of premodels into models
- Flow does not model flows up to weak dihomotopy
- Are all localizing subcategories of stable homotopy categories coreflective?
- On a fat small object argument
- Derived equivalences induced by big cotilting modules
- Towards an axiomatization of the theory of higher categories
- Homotopical algebraic context over differential operators
- Flat vs. filtered colimits in the enriched context
- The \(\mathbb{R}\)-local homotopy theory of smooth spaces
- Admissible replacements for simplicial monoidal model categories
- A generalization of Ohkawa's theorem
- Symmetric monoidal structure on non-commutative motives
- Faithfully flat descent for n-Artin stacks
- A classification of small homotopy functors from spectra to spectra
- Lax limits of model categories
- Towers and fibered products of model structures
- Locally constant functors
- Class-combinatorial model categories
- Spaces of smooth embeddings and configuration categories
- K-theory and the bridge from motives to noncommutative motives
- The model category of maps of spaces is not cofibrantly generated
- Higher symmetries in abstract stable homotopy theories
- Homotopy theory with marked additive categories
- Combinatorial homotopy categories
- Comparing localizations across adjunctions
- Simplicial localisation of homotopy algebras over a prop
- Homotopy theory with \(\ast\)-categories
- Presentations of diagram categories
- Frobenius and the derived centers of algebraic theories
- The tangent bundle of a model category
- Arrow categories of monoidal model categories
- Symmetric cubical sets
- Homotopical algebraic geometry. I: Topos theory
- Universal homotopy theories
- Simplicial model structures on pro-categories
- A homotopy coherent nerve for \((\infty, n)\)-categories
- Vopěnka's principle in \(\infty\)-categories
- On notions of compactness, object classifiers, and weak Tarski universes
- On the ∞$\infty$‐topos semantics of homotopy type theory
- t-structures on stable derivators and Grothendieck hearts
- Left Bousfield localization without left properness
- Algebraic \(k\,k\)-theory and the KH-isomorphism conjecture
- Delta-discrete G-spectra and iterated homotopy fixed points
- A variant of a Dwyer-Kan theorem for model categories
- On the equivalence of Lurie's -operads and dendroidal -operads
- An inductive model structure for strict -categories
- Motivic homotopical Galois extensions
- Discrete \(G\)-spectra and embeddings of module spectra
- PD operads and explicit partition Lie algebras
- Combinatorial model categories are equivalent to presentable quasicategories
- On combinatorial model categories
- Postnikov extensions of ring spectra
- The homotopy theory of dg-categories and derived Morita theory
- Topological equivalences for differential graded algebras
- Duality and small functors
- On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads
This page was built for publication: Combinatorial model categories have presentations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5957501)
