Deriving dualities in pointfree topology from Priestley duality
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910415339913216 |
|---|---|
| author | Bezhanishvili, G. Melzer, S. |
| author_facet | Bezhanishvili, G. Melzer, S. |
| contents | There are several prominent duality results in pointfree topology. The 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2212_09224 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Deriving dualities in pointfree topology from Priestley duality Bezhanishvili, G. Melzer, S. General Topology 18F70, 06D22, 06D50, 06E15, 54D30, 54D45 There are several prominent duality results in pointfree topology. The 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. |
| title | Deriving dualities in pointfree topology from Priestley duality |
| topic | General Topology 18F70, 06D22, 06D50, 06E15, 54D30, 54D45 |
| url | https://arxiv.org/abs/2212.09224 |