https://123dok.org/document/yj7jgme5-characterisation-category-compact-hausdorff-spaces.html