Left-induced model structures and diagram categories

  title={Left-induced model structures and diagram categories},
  author={Marzieh Bayeh and Kathryn Hess and Varvara Karpova and Magdalena Kȩdziorek and Emily Riehl and Brooke E. Shipley},
  journal={Contemporary mathematics},
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 notions of fibrant generation and Postnikov presentation from [9], which are dual to a weak form of cofibrant generation and cellular presentation. As examples, for k a field and H a differential graded Hopf algebra over k, we produce a left-induced model structure on augmented H-comodule algebras and… 
A necessary and sufficient condition for induced model structures
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
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
Model categories and pro-$p$ Iwahori-Hecke modules
Let G denote a possibly discrete topological group admitting an open subgroup I which is pro-p. If H denotes the corresponding Hecke algebra over a field k of characteristic p then we study the
Model categories in equivariant rational homotopy theory SPUR Final Paper , Summer 2017
Model categories are a useful formalization of homotopy theory, and the notion of Quillen equivalence between them expresses what it means for two homotopy theories to be equivalent. Bousfield and
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
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
This paper sets up the foundations for derived algebraic geometry, Goerss–Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in
Homotopy theory of unital algebras
We provide an extensive study of the homotopy theory of types of algebras with units, for instance unital associative algebras or unital commutative algebras. To this purpose, we endow the Koszul
A May-type spectral sequence for higher topological Hochschild homology
Given a filtration of a commutative monoid $A$ in a symmetric monoidal stable model category $\mathcal{C}$, we construct a spectral sequence analogous to the May spectral sequence whose input is the
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.


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
Homotopy theory of modules over diagrams of rings
Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s)
On left and right model categories and left and right Bousfield localizations
We verify the existence of left Bouseld localizations and of enriched left Bouseld localizations, and we prove a collection of useful technical results characterizing certain brations of (enriched)
Correction to: HZ-algebra spectra are differential graded algebras
This correction article is actually unnecessary. The proof of Theorem 1.2, concerning commutative HQ-algebra spectra and commutative differential graded algebras, in the author's paper [American
The theory and practice of Reedy categories
The goal of this paper is to demystify the role played by the Reedy category axioms in homotopy theory by reducing the much of the hard work involved to simpler computations involving weighted colimits and Leibniz (pushout-product) constructions.
Categorical Homotopy Theory
This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Part I discusses two competing perspectives by which one typically first encounters
Sheafifiable homotopy model categories
  • Tibor Beke
  • Mathematics
    Mathematical Proceedings of the Cambridge Philosophical Society
  • 2000
If a Quillen model category can be specified using a certain logical syntax (intuitively, ‘is algebraic/combinatorial enough’), so that it can be defined in any category of sheaves, then the
On an extension of the notion of Reedy category
We extend the classical notion of a Reedy category so as to allow non-trivial automorphisms. Our extension includes many important examples occurring in topology such as Segal’s category Γ, or the
  • G. M. Kelly
  • Mathematics
    Elements of ∞-Category Theory
  • 2005
Although numerous contributions from divers authors, over the past fifteen years or so, have brought enriched category theory to a developed state, there is still no connected account of the theory,