Homotopy Type Theory
Synthetic homotopy theory > history