Existence de functors dérivés à gauche: Partie 2

Cette séance de cours conclut la preuve de l'existence de foncteurs dérivés de la gauche en construisant la transformation naturelle requise et en établissant sa propriété universelle. Le cas particulier où le foncteur est un composite dun foncteur entre les catégories de modèle, post-composé avec le foncteur de localisation à la catégorie homotopie, est également discuté, conduisant aux concepts de foncteurs dérivés totaux gauche et droit. La séance de cours couvre la communativité des diagrammes, la construction des transformations naturelles et les propriétés des foncteurs totaux dérivés à gauche et à droite.