Algebraic model structures

MaRDI QIDQ554242zbMATH OpenFDO

Authors Emily Riehl

Publication date 2 August 2011

Published in The New York Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0910.2733, https://eudml.org/doc/226868, http://www.emis.de/journals/NYJM/j/2011/17-10.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

factorisation systemmodel category

Mathematics Subject Classification ID

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

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.

Review text

By an algebraic model structure on a category, the author means a model structure built out of algebraic or natural weak factorisation systems. That is to say, the cofibrations and fibrations are retracts of coalgebras for comonads and of algebras for monads. It is shown that every cofibrantly generated model structure underlies a cofibrantly generated algebraic model structure. A cofibrantly generated algebraic model structure can be passed across an adjunction to produce an algebraic Quillen adjunction. Pointwise algebraic weak factorisation systems on diagram categories which are generated by cofibrantly generated algebraic weak factorisation systems are also cofibrantly generated, and there is an algebraic generalisation of the projective model structure on diagram categories. If an algebraic model category is cofibrantly generated and its cofibrations are monomorphisms, then the natural comparison map between the algebraic weak factorisation systems consists of pointwise cofibration coalgebras.

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

(37)

• Bousfield localisation and colocalisation of one-dimensional model structures
• New model categories from old
• On semiflexible, flexible and pie algebras
• On the construction of functorial factorizations for model categories
• A colimit decomposition for homotopy algebras in Cat
• Twisting structures and morphisms up to strong homotopy
• Coalgebraic models for combinatorial model categories
• Equipping weak equivalences with algebraic structure
• Six model structures for DG-modules over DGAs: model category theory in homological action.
• Monoidal algebraic model structures
• Accessible model categories
• A generalization of Quillen's small object argument
• \(t\)-structures are normal torsion theories
• Algebraically cofibrant and fibrant objects revisited
• An orthogonal approach to algebraic weak factorisation systems
• The coalgebraic structure of cell complexes
• A Structure-Exploiting Tool in Algebraic Modeling Languages
• A homotopy-theoretic model of function extensionality in the effective topos
• Left-induced model structures and diagram categories
• Homotopical resolutions associated to deformable adjunctions
• scientific article; zbMATH DE number 3999330 (Why is no real title available?)
• Semantics of higher inductive types
• On factorisation systems for \textbf{Ord}-enriched categories and categories of partial maps
• Detecting model categories among Quillen categories using homotopies
• Lax orthogonal factorisations in ordered structures
• On model structure for coreflective subcategories of a model category
• Quillen-Segal algebras and stable homotopy theory
• Type theory and homotopy
• A necessary and sufficient condition for induced model structures
• MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
• Lifting twisted coreflections against delta lenses
• Cubical approximation for directed topology. II
• The univalence principle
• A toolkit for structured lifts
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Algebraic weak factorisation systems. II: Categories of weak maps.
• An A-based cofibrantly generated model category

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)