Couvre les adjonctions, les sorties, les limites et les fibres discrètes dans les revêtements, en mettant l'accent sur les actions de groupe et les symétries.
Explore la construction du functeur d'action libre dans la théorie de groupe et la théorie de catégorie, mettant l'accent sur les actions de groupe et leurs propriétés.
Introduit des transformations naturelles dans la théorie de groupe et la théorie de catégorie, en mettant l'accent sur leur définition et leur signification.
Explore les transformations naturelles dans la théorie de groupe et la théorie de catégorie, mettant l'accent sur la composition du functeur et la composition du morphisme.