Homotopy Type Theory
Hausdorff space > history