Abstract: We define a new notion of an algebraic model structure, in which the cofibrations and fibrations are retracts of coalgebras for comonads and algebras for monads, and prove "algebraic" analogs of classical results. Using a modified version of Quillen's small object argument, we show that every cofibrantly generated model structure in the usual sense underlies a cofibrantly generated algebraic model structure. We show how to pass a cofibrantly generated algebraic model structure across an adjunction, and we characterize the algebraic Quillen adjunction that results. We prove that pointwise natural weak factorization systems on diagram categories are cofibrantly generated if the original ones are, and we give an algebraic generalization of the projective model structure. Finally, we prove that certain fundamental comparison maps present in any cofibrantly generated model category are cofibrations when the cofibrations are monomorphisms, a conclusion that does not seem to be provable in the classical, non-algebraic, theory.
Recommendations
- Monoidal algebraic model structures
- scientific article; zbMATH DE number 2156367
- scientific article; zbMATH DE number 787959
- scientific article; zbMATH DE number 3957393
- Algebraic theories and their models
- scientific article; zbMATH DE number 4059374
- scientific article; zbMATH DE number 1824071
- Model theory
- scientific article; zbMATH DE number 5296405
Cited in
(33)- A Structure-Exploiting Tool in Algebraic Modeling Languages
- Monoidal algebraic model structures
- Bousfield localisation and colocalisation of one-dimensional model structures
- Algebraically cofibrant and fibrant objects revisited
- Equipping weak equivalences with algebraic structure
- Type theory and homotopy
- A necessary and sufficient condition for induced model structures
- The coalgebraic structure of cell complexes
- Left-induced model structures and diagram categories
- Lax orthogonal factorisations in ordered structures
- On semiflexible, flexible and pie algebras
- An \(A\)-based cofibrantly generated model category
- A homotopy-theoretic model of function extensionality in the effective topos
- On factorisation systems for \textbf{Ord}-enriched categories and categories of partial maps
- Lifting twisted coreflections against delta lenses
- scientific article; zbMATH DE number 3999330 (Why is no real title available?)
- Twisting structures and morphisms up to strong homotopy
- Six model structures for DG-modules over DGAs: model category theory in homological action.
- Quillen-Segal algebras and stable homotopy theory
- A colimit decomposition for homotopy algebras in Cat
- Algebraic weak factorisation systems. I: Accessible AWFS.
- MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
- Algebraic weak factorisation systems. II: Categories of weak maps.
- On model structure for coreflective subcategories of a model category
- \(t\)-structures are normal torsion theories
- On the construction of functorial factorizations for model categories
- A generalization of Quillen's small object argument
- Homotopical resolutions associated to deformable adjunctions
- Semantics of higher inductive types
- Coalgebraic models for combinatorial model categories
- Detecting model categories among Quillen categories using homotopies
- An orthogonal approach to algebraic weak factorisation systems
- Accessible model categories
This page was built for publication: Algebraic model structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q554242)
