Skip to main content
Article thumbnail
Location of Repository

A Universal Characterization of the Double

By S. J. Vickers and C. F. Townsend


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 [Loc op, Set] to the double exponential S SX where S is the Sierpiński 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 S X (the presheaf Loc( − × X, S)) to S Y (i.e. Loc( − × Y, S)) are equivalent to dcpo morphisms (Scott continuous maps) from the frame ΩX to ΩY. It is also shown that S X has a localic reflection in [Loc op, Set] whose frame is the Scott topology on ΩX. The reasoning is constructive in the sense of topos validity

Topics: powerdomain, topos, Scott continuity, locale
Year: 2008
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

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