Séance de cours
Cette séance de cours est l'aboutissement de l'introduction à la théorie des catégories, démontrant que les adjoints gauches préservent les coproduits, tout comme les adjoints droits préservent les produits. La preuve tire parti des machines développées dans ce chapitre.