A Universal Characterization of the Double Powerlocale

Vickers, Steven and Townsend, C.F (2004) A Universal Characterization of the Double Powerlocale. Theoretical Computer Science, 316 (1-3). pp. 297-321. ISSN 0304-3975

VicTownUniCharPP.pdf

PDF (268Kb)

URL of Published Version: http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6V1G-4BSWJ2J-C&_user=122868&_rdoc=1&_fmt=&_orig=search&_sort=d&_docanchor=&view=c&_acct=C000010083&_version=1&_urlVersion=0&_userid=122868&md5=87625529b637cfd7122ddd140eba3cc2

Identification Number/DOI: doi:10.1016/j.tcs.2004.01.034

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(

Type of Work:	Article
Date:	25 February 2004 (Publication)
School/Faculty:	Schools (1998 to 2008) > School of Computer Science
Department:	Computer Science
Subjects:	Q Science (General) QA75 Electronic computers. Computer science QA Mathematics
Institution:	University of Birmingham
Copyright Holders:	Elsevier
ID Code:	180
Local Holdings:

Export Reference As :	ASCII + BibTeX + Dublin Core + EndNote + HTML + METS + MODS + OpenURL Object + Reference Manager + Refer + RefWorks
Share this item :

Repository Staff Only: item control page