Contracting SubspacesExplores the homotopy extension property for contractable subspaces and their quotient maps.
Invariant DefinitionsExplores invariant definitions in sets, groups, and automorphisms, including p-divisible groups and free abelian groups.