A necessary and sufficient condition for induced model structures

  title={A necessary and sufficient condition for induced model structures},
  author={Kathryn Hess and Magdalena Kȩdziorek and Emily Riehl and Brooke E. Shipley},
  journal={Journal of Topology},
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… 
Lifting accessible model structures
A Quillen model structure is presented by an interacting pair of weak factorization systems. We prove that in the world of locally presentable categories, any weak factorization system with
A criterion for existence of right‐induced model structures
Suppose that F:N→M is a functor whose target is a Quillen model category. We give a succinct sufficient condition for the existence of the right‐induced model category structure on N in the case when
Comparing the non-unital and unital settings for directed homotopy
. This note explores the link between the q-model structure of flows and the Ilias model structure of topologically enriched small categories. Both have weak equivalences which preserve fundamental
The homotopy theory of coalgebras over simplicial comonads
We apply the Acyclicity Theorem of Hess, Kerdziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of
Cubical models of $(\infty, 1)$-categories
We construct a model structure on the category of cubical sets with connections whose cofibrations are the monomorphisms and whose fibrant objects are defined by the right lifting property with
A model structure via orbit spaces for equivariant homotopy
For a given group $G$ and a collection of subgroups $\mathcal F$ of $G$, we show that there exist a left induced model structure on the category of right $G$-simplicial sets, in which the weak
Coalgebras in the Dwyer-Kan localization of a model category
We show that weak monoidal Quillen equivalences induce equivalences of symmetric monoidal $\infty$-categories with respect to the Dwyer-Kan localization of the symmetric monoidal model categories.
We construct a model structure on the category DblCat of double categories and double functors. Unlike previous model structures for double categories, it recovers the homotopy theory of 2-categories
Equipping weak equivalences with algebraic structure
We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism of
Rigidification of connective comodules
We show that we can rigidify homotopy coherent comodules in connective modules over the Eilenberg-Mac Lane spectrum of a field, or more generally of a finite product of fields $\mathbb{k}$. That is,


Left-induced model structures and diagram categories
We prove existence results a la Jeff Smith for left-induced model category structures, of which the injective model structure on a diagram category is an important example. We further develop the
Algebraic model structures
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
Six model structures for DG-modules over DGAs: model category theory in homological action
In Part 1, we describe six projective-type model structures on the category of dierential graded modules over a dierential graded algebra A over a commutative ring R. When R is a eld, the six
Quillen model structures for relative homological algebra
An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that
A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
  • G. Kelly
  • Mathematics
    Bulletin of the Australian Mathematical Society
  • 1980
Many problems lead to the consideration of “algebras”, given by an object A of a category A together with “actions” TkA → A on A of one or more endofunctors of A, subjected to equational axioms. Such
Algebras and Modules in Monoidal Model Categories
In recent years the theory of structured ring spectra (formerly known as A∞‐ and E∞‐ring spectra) has been simplified by the discovery of categories of spectra with strictly associative and
Comparing composites of left and right derived functors
We introduce a new categorical framework for studying de- rived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model
DG coalgebras as formal stacks
More Concise Algebraic Topology: Localization, Completion, and Model Categories
With firm foundations dating only from the 1950s, algebraic topology is a relatively young area of mathematics. There are very few textbooks that treat fundamental topics beyond a first course, and