Homotopy Type Theory sequentially Hausdorff space > history