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.
Explore les limites et les colimits dans la théorie des catégories, en discutant de leurs définitions, propriétés et applications, y compris la non-existence de limites dans certaines catégories et les relations entre les limites et les colimits sous les functeurs.
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.