Homotopy Type Theory
sequentially Hausdorff space > history