A necessary and sufficient condition for induced model structures
From MaRDI portal
Publication:5359103
DOI10.1112/TOPO.12011zbMATH Open1381.55010arXiv1509.08154OpenAlexW2188657366MaRDI QIDQ5359103FDOQ5359103
Authors: Magdalena Kędziorek, Emily Riehl, B. Shipley, Kathryn Hess 
Publication date: 22 September 2017
Published in: Journal of Topology (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1509.08154
Recommendations
Chain complexes (category-theoretic aspects), dg categories (18G35) Abstract and axiomatic homotopy theory in algebraic topology (55U35)
Cited In (32)
- A co-reflection of cubical sets into simplicial sets with applications to model structures
- Motivic homotopical Galois extensions
- Torsion models for tensor-triangulated categories: the one-step case
- A criterion for existence of right‐induced model structures
- Waldhausen \(K\)-theory of spaces via comodules
- Comparing cubical and globular directed paths
- Six model categories for directed homotopy
- Equipping weak equivalences with algebraic structure
- The coalgebraic enrichment of algebras in higher categories
- Homotopical Morita theory for corings
- Directed degeneracy maps for precubical sets
- Spanier–Whitehead duality for topological coHochschild homology
- Cubical models of \((\infty, 1)\)-categories
- Induced model structures for higher categories
- Homotopy theory of Moore flows. II
- Homotopy theory of monoid actions via group actions and an Elmendorf style theorem
- Projective and Reedy model category structures for (infinitesimal) bimodules over an operad
- Homotopy theory of stratified spaces
- On a Quillen adjunction between the categories of differential graded and simplicial coalgebras
- A model structure via orbit spaces for equivariant homotopy
- The Hurewicz model structure on simplicial \(R\)-modules
- Left-induced model structures and diagram categories
- General comodule-contramodule correspondence
- Regular directed path and Moore flow
- Invariance properties of coHochschild homology
- RATIONAL LOCAL SYSTEMS AND CONNECTED FINITE LOOP SPACES
- Quasi-categories vs. Segal spaces: Cartesian edition
- Homotopy theory of unital algebras
- Coalgebras in the Dwyer-Kan localization of a model category
- A monoidal Dold-Kan correspondence for comodules
- CELLULAR CATEGORIES AND STABLE INDEPENDENCE
- Comparing localizations across adjunctions
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)
