Compactly generated Hausdorff locales

Research output: Contribution to journalArticle

1 Citation (Scopus)


We say that a Hausdorff locale is compactly generated if it is the colimit of the diagram of its compact sublocales connected by inclusions. We show that this is the case if and only if the natural map of its frame of opens into the second Lawson dual is an isomorphism. More generally. for any Hausdorff locale, the second dual of the frame of opens gives the frame of opens of the colimit. In order to arrive at this conclusion, we generalize the Hofmann-Mislove-Johnstone theorem and some results regarding the patch construction for stably locally compact locales. (c) 2005 Elsevier B.V. All rights reserved.
Original languageEnglish
Pages (from-to)147-163
Number of pages17
JournalAnnals of Pure and Applied Logic
Issue number1-3
Publication statusPublished - 1 Jan 2006


Dive into the research topics of 'Compactly generated Hausdorff locales'. Together they form a unique fingerprint.

Cite this