×

zbMATH — the first resource for mathematics

Sublocale sets and sublocale lattices. (English) Zbl 1164.06313
The authors present simple proofs of several fundamental results of locale theory, e.g., Isbell density theorem or characterization of fit and subfit frames. The authors use the technique of sublocales, in particular the properties of open and closed sublocales.
Reviewer: David Kruml (Brno)

MSC:
06D22 Frames, locales
PDF BibTeX XML Cite
Full Text: EuDML EMIS