Compact Hausdorff Spaces with Relations and Gleason Spaces

We consider an alternate form of the equivalence between the category of compact Hausdorff spaces and continuous functions and a category formed from Gleason spaces and certain relations. This equivalence arises from the study of the projective cover of a compact Hausdorff space. This line leads us to consider the category of compact Hausdorff spaces with closed relations, and the corresponding subcategories with continuous and interior relations. Various equivalences of these categories are given extending known equivalences of the category of compact Hausdorff spaces and continuous functions with compact regular frames, de Vries algebras, and also with a category of Gleason spaces that we introduce. Study of categories of compact Hausdorff spaces with relations is of interest as a general setting to consider Gleason spaces, for connections to modal logic, as well as for the intrinsic interest in these categories.