Abstract
This is a version from 29 Sept 2003 of the paper published under the same name in Theoretical Computer Science 316 (2004) 297{321.
The double powerlocale P(X) (found by composing, in either order,the upper and lower powerlocale constructions PU and PL) is shown to be isomorphic in [Locop; Set] to the double exponential SSX where S is the Sierpinski locale. Further PU(X) and PL(X) are shown to be the subobjects P(X) comprising, respectively, the meet semilattice and join
semilattice homomorphisms. A key lemma shows that, for any locales X and Y , natural transformations from SX (the presheaf Loc(
Original language | English |
---|---|
Pages (from-to) | 297-321 |
Number of pages | 25 |
Journal | Theoretical Computer Science |
Volume | 316 |
DOIs | |
Publication status | Published - 1 Jan 2004 |
Keywords
- Scott continuity
- locale
- topos
- powerdomain