Invariant DefinitionsExplores invariant definitions in sets, groups, and automorphisms, including p-divisible groups and free abelian groups.
Natural TransformationsExplores natural transformations between functors, emphasizing their composition-preserving properties and significance in category theory.
Categories and FunctorsCovers categories, functors, and presheaf categories, exploring the relationships between objects and morphisms.