A necessary and sufficient condition for induced model structures
From MaRDI portal
(Redirected from Publication:5359103)
Abstract: A common technique for producing a new model category structure is to lift the fibrations and weak equivalences of an existing model structure along a right adjoint. Formally dual but technically much harder is to lift the cofibrations and weak equivalences along a left adjoint. For either technique to define a valid model category, there is a well-known necessary "acyclicity" condition. We show that for a broad class of "accessible model structures" - a generalization introduced here of the well-known combinatorial model structures - this necessary condition is also sufficient in both the right-induced and left-induced contexts, and the resulting model category is again accessible. We develop new and old techniques for proving the acyclity condition and apply these observations to construct several new model structures, in particular on categories of differential graded bialgebras, of differential graded comodule algebras, and of comodules over corings in both the differential graded and the spectral setting. We observe moreover that (generalized) Reedy model category structures can also be understood as model categories of "bialgebras" in the sense considered here.
Recommendations
Cited in
(37)- Homotopical Morita theory for corings
- Quasi-categories vs. Segal spaces: Cartesian edition
- Torsion models for tensor-triangulated categories: the one-step case
- Invariance properties of coHochschild homology
- The coalgebraic enrichment of algebras in higher categories
- Homotopy theory of unital algebras
- A model structure via orbit spaces for equivariant homotopy
- Equipping weak equivalences with algebraic structure
- A co-reflection of cubical sets into simplicial sets with applications to model structures
- On a Quillen adjunction between the categories of differential graded and simplicial coalgebras
- Homotopy theory of stratified spaces
- Projective and Reedy model category structures for (infinitesimal) bimodules over an operad
- Left-induced model structures and diagram categories
- Homotopy theory of Moore flows. II
- RATIONAL LOCAL SYSTEMS AND CONNECTED FINITE LOOP SPACES
- Six model categories for directed homotopy
- Comparing localizations across adjunctions
- A criterion for existence of right‐induced model structures
- Coalgebras in the Dwyer-Kan localization of a model category
- Induced model structures for higher categories
- CELLULAR CATEGORIES AND STABLE INDEPENDENCE
- A monoidal Dold-Kan correspondence for comodules
- Directed degeneracy maps for precubical sets
- Spanier–Whitehead duality for topological coHochschild homology
- Comparing cubical and globular directed paths
- Homotopy theory of monoid actions via group actions and an Elmendorf style theorem
- Regular directed path and Moore flow
- Cubical models of (, 1)-categories
- The Hurewicz model structure on simplicial R-modules
- General comodule-contramodule correspondence
- Motivic homotopical Galois extensions
- Cubical approximation for directed topology. II
- Absolute algebras, contramodules, and duality squares
- Trace methods for coHochschild homology
- Koszul duality for simplicial restricted Lie algebras
- Rigidification of connective comodules
- Waldhausen K-theory of spaces via comodules
This page was built for publication: A necessary and sufficient condition for induced model structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5359103)
