zbMATH — the first resource for mathematics

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