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.
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 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.
