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.
Se concentre sur la preuve de la construction de la catégorie d'homotopie et de ses propriétés, y compris la préservation de la composition et de l'unicité des foncteurs.
