×

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
PDFBibTeX XMLCite
Full Text: EuDML EMIS