Equivalences of CategoriesExplores examples of natural transformations, equivalence of categories, and adjunction with specific instances involving Un.
Invariant DefinitionsExplores invariant definitions in sets, groups, and automorphisms, including p-divisible groups and free abelian groups.