A necessary and sufficient condition for induced model structures

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.

49 pages; final journal version to appear in the Journal of Topology

References in corpus (3)

• Homotopy limits and colimits and enriched homotopy theory
• Sur les A-infini catégories
• Accessible model categories

Cited by in corpus (20)

• Lifting accessible model structures
• A criterion for existence of right-induced model structures
• Six model categories for directed homotopy
• Homotopy theory of unital algebras
• Quasi-Categories vs. Segal Spaces: Cartesian Edition
• Homotopy theory of Moore flows (I)
• A model structure via orbit spaces for equivariant homotopy
• A 2Cat-inspired model structure for double categories
• Homotopy theory of stratified spaces
• A co-reflection of cubical sets into simplicial sets with applications to model structures
• Homotopy theory of Moore flows (II)
• Cubical models of $(\infty ,1)$-categories
• Torsion models for tensor-triangulated categories: the one-step case
• Comparing cubical and globular directed paths
• Induced model structures for higher categories
• An algebraic model for rational toral G-spectra
• Homotopy theory of monoid actions via group actions and an Elmendorf style theorem
• Shifted symplectic and Poisson structures on global quotients
• Comparison Between Different Topological Models of Concurrency
• Rational local systems and connected finite loop spaces