The patch construction is dual to algebraic DCPO representation (Q633791): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:50, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The patch construction is dual to algebraic DCPO representation |
scientific article |
Statements
The patch construction is dual to algebraic DCPO representation (English)
0 references
30 March 2011
0 references
The author uses the parallel between the preframe and the suplattice approach to locale theory in order to prove that the patch construction, as an action on topologies, is the same thing as the process of recovering a discrete poset from its algebraic dcpo (ideal completion). The main theorem reads as follows: (i) There is a bijection between discrete posets and ideal completion locales; (ii) There is a bijection between ordered compact Hausdorff locales and stably locally compact locales.
0 references
locale
0 references
patch
0 references
stably locally compact
0 references
algebraic dcpo
0 references
preframe
0 references