Active Learning SessionExplores natural transformations in group theory and category theory, emphasizing functor composition and morphism composition.
Direct Sums: Lemme 1.2Delves into direct sums of abelian groups, showcasing their coproduct properties and universal verification.
Invariant DefinitionsExplores invariant definitions in sets, groups, and automorphisms, including p-divisible groups and free abelian groups.
