Timeline of “foundational” advances in homotopy theory? | Heykuki News