|
Just as usual presentations of frames allow us to define frames using sets of generators and relations, we will discuss how to define frames using compact Hausdorff locales of generators and relations. I will explain how to present a compact Hausdorff locale in terms of itself and describe the locale of partial surjections from Cantor space to a given compact Hausdorff locale. We show the latter is nontrivial, which gives a generalisation of the Alexandroff-Hausdorff theorem without any cardinality restrictions.
|