Natural TransformationsExplores natural transformations between functors, emphasizing their composition-preserving properties and significance in category theory.
Invariant DefinitionsExplores invariant definitions in sets, groups, and automorphisms, including p-divisible groups and free abelian groups.