Algebraic model structures

zbMATH Open1222.55016arXiv0910.2733MaRDI QIDQ554242FDOQ554242

Emily Riehl

Publication date: 2 August 2011

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

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.

Full work available at URL: https://arxiv.org/abs/0910.2733

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

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
• scientific article; zbMATH DE number 1824071
• Model theory
• scientific article

zbMATH Keywords

model categoryfactorisation system

Mathematics Subject Classification ID

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

Cited In (25)

• MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
• \(t\)-structures are normal torsion theories
• Homotopical resolutions associated to deformable adjunctions
• A generalization of Quillen's small object argument
• Bousfield localisation and colocalisation of one-dimensional model structures
• Equipping weak equivalences with algebraic structure
• On the construction of functorial factorizations for model categories
• Lifting twisted coreflections against delta lenses
• A homotopy-theoretic model of function extensionality in the effective topos
• A colimit decomposition for homotopy algebras in Cat
• Algebraic weak factorisation systems. II: Categories of weak maps.
• Semantics of higher inductive types
• On factorisation systems for Ord-enriched categories and categories of partial maps
• Lax orthogonal factorisations in ordered structures
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Monoidal algebraic model structures
• Title not available (Why is that?)
• Twisting structures and morphisms up to strong homotopy
• Accessible model categories
• Quillen-Segal algebras and Stable homotopy theory
• On semiflexible, flexible and pie algebras
• Title not available (Why is that?)
• A Structure-Exploiting Tool in Algebraic Modeling Languages
• An orthogonal approach to algebraic weak factorisation systems
• Type Theory and Homotopy

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)