Polish spaces are an important class of spaces. I am dealing with them in Section 7.7 of the book. But they are Hausdorff spaces, and the purpose of the book was to explore non-Hausdorff spaces. Matthew de Brecht found a non-Hausdorff generalization of Polish spaces, which he aptly called quasi-Polish spaces. See the full post.