# A necessary and sufficient condition for induced model structures

@article{Hess2015ANA, 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}, year={2015}, volume={10} }

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…

## 63 Citations

Lifting accessible model structures

- MathematicsJournal of Topology
- 2019

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

- MathematicsBulletin of the London Mathematical Society
- 2019

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

- Mathematics
- 2022

. This note explores the link between the q-model structure of ﬂows 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

- MathematicsHomology, Homotopy and Applications
- 2019

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

- Mathematics
- 2020

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

- MathematicsJournal of Homotopy and Related Structures
- 2019

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

- Mathematics
- 2020

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.…

A T ] 2 1 A ug 2 02 0 A 2 CAT-INSPIRED MODEL STRUCTURE FOR DOUBLE CATEGORIES

- Mathematics
- 2020

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

- MathematicsMathematische Zeitschrift
- 2019

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

- Mathematics
- 2020

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,…

## References

SHOWING 1-10 OF 62 REFERENCES

Left-induced model structures and diagram categories

- Mathematics
- 2014

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

- Mathematics
- 2009

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

- Mathematics
- 2014

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

- MathematicsMathematical Proceedings of the Cambridge Philosophical Society
- 2002

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

- MathematicsBulletin 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

- Mathematics
- 1998

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

- Mathematics
- 2007

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…

More Concise Algebraic Topology: Localization, Completion, and Model Categories

- Mathematics
- 2012

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…