Skip to main content
Article thumbnail
Location of Repository

A Universal Characterization of the Double Powerlocale

By Steven Vickers and C.F Townsend

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

Topics: Q Science (General), QA75 Electronic computers. Computer science, QA Mathematics
Publisher: Elsevier
Year: 2004
OAI identifier: oai:eprints.bham.ac.uk:180

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.