Sublocale lattices (Q5960408)

The lattice of sublocales of a locale, unlike the lattice of subspaces of a space, is not in general a Boolean algebra. It is not even a frame; but it is the dual of a frame, and so may be identified with the lattice of closed sublocales of another locale, called the dissolution of the original locale. Much work has been done on studying the topological properties of dissolution locales; in the present paper, the author continues this work. The principal new result is that a dissolution locale is always ultraparacompact (that is, any open covering may be refined to an open partition). The proof of this result requires the axiom of choice, and the author considers how one might `constructivize' it and related results. He also characterizes those locales whose dissolutions are extremally disconnected, and those whose dissolutions are \(\kappa\)-compact for some regular cardinal \(\kappa\).