Homotopy limits in triangulated categories
Let be an abelian category, or more generally a weakly idempotent complete exact category, and suppose we have two complete hereditary cotorsion pairs and in satisfying and . We show how to construct a (necessarily unique) abelian model structure on with (resp. ) as the class of cofibrant (resp. trivially cofibrant) objects, and (resp. ) as the class of fibrant (resp. trivially fibrant) objects.
Ces notes sont consacrées à la construction des limites homotopiques, et plus généralement, des images directes cohomologiques dans une catégorie de modèles arbitraire admettant des petites limites projectives. En outre, la théorie des dérivateurs de Grothendieck est introduite, à la fois en tant que motivation pour l’étude de telles structures, et en tant qu’outil de démonstration.
We generalize the results by G.V. Triantafillou and B. Fine on -disconnected simplicial sets. An existence of an injective minimal model for a complete -algebra is presented, for any -category . We then make use of the -category associated with a -simplicial set to apply these results to the category of -simplicial sets.Finally, we describe the rational homotopy type of a nilpotent -simplicial set by means of its injective minimal model.