Explore l'existence de foncteurs dérivés de gauche en algèbre homotopique, en se concentrant sur les conditions d'isomorphisme et les transformations naturelles.
Couvre les propriétés et les structures des catégories de modèles, en mettant l'accent sur les factorisations, les structures de modèles et l'homotopie des cartes continues.
Couvre la théorie des groupes et de l'algèbre homotopique, mettant l'accent sur les transformations naturelles, les identités et l'isomorphisme des catégories.