Explore les limites et les colimits dans la théorie des catégories, en discutant de leurs définitions, propriétés et applications, y compris la non-existence de limites dans certaines catégories et les relations entre les limites et les colimits sous les functeurs.
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.
