Couvre le concept d'isomorphisme dans les catégories, définissant les morphismes avec des inverses et explorant les automorphismes et les groupoïdes.
Couvre la définition des morphismes entre les variétés algébriques affines et la construction de morphismes en utilisant des homomorphismes algébriques.
Introduit des coproduits dans la théorie des catégories, explorant leurs propriétés, leur universalité et leurs relations avec les produits.
Couvre le concept de gerbes, soulignant la détermination unique des fonctions par les données locales et l'importance des limites directes.
