Images directes cohomologiques dans les catégories de modèles
Résumé
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.