Invariant DefinitionsExplores invariant definitions in sets, groups, and automorphisms, including p-divisible groups and free abelian groups.
Categories and FunctorsCovers categories, functors, and presheaf categories, exploring the relationships between objects and morphisms.