Deriving dualities in pointfree topology from Priestley duality

DOI10.1007/s10485-023-09739-8zbMath1523.18010arXiv2212.09224OpenAlexW4386385031MaRDI QIDQ6094273

Guram Bezhanishvili, Sebastian Melzer

Publication date: 10 October 2023

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2212.09224

zbMATH Keywords

Priestley dualitysober spacespatial framecompact Hausdorff spacelocally compact spacecontinuous framepointfree topologystably compact spacecompact regular framestably compact frame

Mathematics Subject Classification ID

Compactness (54D30) Lattices and duality (06D50) Frames, locales (06D22) Stone spaces (Boolean spaces) and related structures (06E15) Local compactness, (sigma)-compactness (54D45) Frames and locales, pointfree topology, Stone duality (18F70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Locales as spectral spaces
• Funayama's theorem revisited
• Profinite Heyting algebras
• The Gleason cover of a topos. II
• A couple of triples
• Propositional lax logic
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• A semantic hierarchy for intuitionistic logic
• Hofmann-Mislove through the lenses of Priestley
• When is the frame of nuclei spatial: a new approach
• An algebraic approach to subframe logics. Intuitionistic case
• The frame of nuclei on an Alexandroff space
• Frames and Locales
• Cover semantics for quantified lax logic
• Grothendieck Topology as Geometric Modality
• Ordered Topological Spaces and the Representation of Distributive Lattices
• The Spectral Theory of Distributive Continuous Lattices
• Spectral Spaces
• Continuous Lattices and Domains
• A Modal Deconstruction of Access Control Logics
• Quotient Frames and Subspaces
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Atomless Parts of Spaces.
• INTUITIONISTIC EPISTEMIC LOGIC

This page was built for publication: Deriving dualities in pointfree topology from Priestley duality