Compactly generated Hausdorff locales

DOI10.1016/J.APAL.2005.05.020MaRDI QIDQ2575768zbMATH OpenOpenAlexFDO

Authors Martín Escardo

Publication date 6 December 2005

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2005.05.020

zbMATH Keywords

\(k\)-spaceCompactly generated Hausdorff localeHofmann-Mislove-Johnstone theoremLawson dualityPatch construction

Mathematics Subject Classification ID

Frames, locales (06D22) (k)-spaces (54D50)

Review text

Over twenty years ago, in a paper on exponentials (function spaces) in the category of locales, the reviewer raised the problem of developing a theory of compact generation for locales. Here, at last, is the first serious attack on this problem. The author restricts himself to Hausdorff locales (that is, locales with closed diagonal): for such a locale \(X\), he defines \(kX\) to be the colimit of the diagram formed by the compact sublocales of \(X\) and their inclusions, and calls \(X\) compactly generated if the canonical map \(kX\to X\) is an isomorphism. By an ingenious use of the Hofmann-Mislove theorem (here called the Hofmann-Mislove-Johnstone theorem), he shows that the frame of opens of \(kX\) may be constructed as the second Lawson dual of that of \(X\). Unfortunately, he has not (yet) been able to determine whether the canonical map \(kX\to X\) is always monic (as it is for spaces), or even whether \(kX\) is always Hausdorff when \(X\) is; but, under either of these hypotheses, he is able to show that the functor \(k\) provides a coreflection from arbitrary Hausdorff locales to compactly generated ones.

Recommendations

• Regular and effective regular categories of locales
• scientific article; zbMATH DE number 19503
• A note on the Hofmann-Lawson-Banaschewski theorem
• scientific article; zbMATH DE number 22360
• scientific article; zbMATH DE number 3851163

Cites work

• Atomless Parts of Spaces.
• Continuous Lattices and Domains
• scientific article; zbMATH DE number 3851163 (Why is no real title available?)
• scientific article; zbMATH DE number 3853324 (Why is no real title available?)
• scientific article; zbMATH DE number 3929909 (Why is no real title available?)
• scientific article; zbMATH DE number 3726420 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 19503 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Joins in the frame of nuclei
• Properly injective spaces and function spaces
• The regular-locally compact coreflection of a stably locally compact locale

Cited in

(4)

• Canonical extensions of locally compact frames
• A note on the Hofmann-Lawson-Banaschewski theorem
• Compact Hausdorff locales in presheaf toposes
• Shift generated Haar spaces on compact domains in the complex plane

This page was built for publication: Compactly generated Hausdorff locales

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575768)