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.
Isomorphism in CategoriesCovers the concept of isomorphism in categories, defining morphisms with inverses and exploring automorphisms and groupoids.
Active Learning SessionExplores natural transformations in group theory and category theory, emphasizing functor composition and morphism composition.
Group Theory: VerificationsExplores adjunctions in Group Theory, discussing definitions, comparisons, and functorial structure preservation.
