Categorical Context of G-objectsDelves into the categorical framework for group actions and the correspondence between G-actions on c and functors from BG to C.
Invariant DefinitionsExplores invariant definitions in sets, groups, and automorphisms, including p-divisible groups and free abelian groups.
Active Learning SessionExplores natural transformations in group theory and category theory, emphasizing functor composition and morphism composition.