Separation in Point-Free Topology

DOI10.1007/978-3-030-53479-0zbMath1486.54001OpenAlexW3126721152MaRDI QIDQ5126232

Jorge Picado, Ales Pultr

Publication date: 15 October 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-53479-0

zbMATH Keywords

frameslocalesseparation axiomspointfree topology

Mathematics Subject Classification ID

Frames, locales (06D22) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Research exposition (monographs, survey articles) pertaining to general topology (54-02) Generalities in topology (54A99)

Related Items

A new diagonal separation and its relations with the Hausdorff property ⋮ Uniformities and a quantale structure on localic groups ⋮ Observables on \(\sigma\)-frame effect algebras as upper semicontinuous functions ⋮ Frame presentations of compact hedgehogs and their properties ⋮ McKinsey-Tarski algebras: an alternative pointfree approach to topology ⋮ Some properties of conjunctivity (subfitness) in generalized settings ⋮ Measurable functions on \(\sigma\)-frames ⋮ Localic separation and the duality between closedness and fittedness ⋮ On classes of localic maps defined by their behavior on zero sublocales ⋮ On the Menger and almost Menger properties in locales ⋮ Uniform continuity of pointfree real functions via farness and related Galois connections ⋮ An Introduction to Regular Categories ⋮ Notes on Point-Free Topology