×

Some constructive results related to compactness and the (strong) Hausdorff property for locales. (English) Zbl 0739.18001

Category theory, Proc. Int. Conf., Como/Italy 1990, Lect. Notes Math. 1488, 401-409 (1991).
[For the entire collection see Zbl 0733.00009.]
The principal results are constructive versions of ‘compact \(\Rightarrow\) locally compact \(\Rightarrow\) regular’, and ‘a compact sublocale of a Hausdorff locale is closed’.

MSC:

18B30 Categories of topological spaces and continuous mappings (MSC2010)
18B25 Topoi
03F65 Other constructive mathematics

Citations:

Zbl 0733.00009
PDFBibTeX XMLCite