Deriving Dualities in Pointfree Topology from Priestley Duality

There are several prominent duality results in pointfree topology. Hofmann–Lawson duality establishes that the category of continuous frames is dually equivalent to the category of locally compact sober spaces. This restricts to a dual equivalence between the categories of stably continuous frames a...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Applied categorical structures 2023-10, Vol.31 (5), Article 34
Hauptverfasser: Bezhanishvili, G., Melzer, S.
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:There are several prominent duality results in pointfree topology. Hofmann–Lawson duality establishes that the category of continuous frames is dually equivalent to the category of locally compact sober spaces. This restricts to a dual equivalence between the categories of stably continuous frames and stably locally compact spaces, which further restricts to Isbell duality between the categories of compact regular frames and compact Hausdorff spaces. We show how to derive these dualities from Priestley duality for distributive lattices, thus shedding new light on these classic results.
ISSN:0927-2852
1572-9095
DOI:10.1007/s10485-023-09739-8