Couvre les catégories, les functeurs et les catégories de prémousse, explorant les relations entre les objets et les morphismes.
Explore les catégories de construction à partir de graphiques et l'encodage de l'information par les functeurs.
Explore les transformations naturelles entre les functeurs, en mettant l'accent sur leurs propriétés de préservation de la composition et leur signification dans la théorie des catégories.
Explore le concept d'équivalence de catégorie par l'intermédiaire de functeurs isomorphes et d'isomorphismes naturels entre catégories.
Couvre le concept de gerbes, soulignant la détermination unique des fonctions par les données locales et l'importance des limites directes.
