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 définition des orbites et des points fixes d'un objet G dans n'importe quelle catégorie, en se concentrant sur les applications G-équivariantes.
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.
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.
