Vickers, Steven (2004) The double powerlocale and exponentiation: A case study in geometric logic. Theory and Applications of Categories, 12 (13). pp. 272422. ISSN 1201561X
 URL of Published Version: http://www.tac.mta.ca/tac/volumes/12/13/1213.pdf If X is a locale, then its double powerlocale PX is defined to be PU(PL(X)) where PU and PL are the upper and lower powerlocale constructions. We prove various results relating it to exponentiation of locales, including the following. First, if X is a locale for which the exponential S^X exists (where S is the Sierpinski locale), then PX is an exponential S^(S^X). Second, if in addition W is a locale for which PW is homeomorphic to S^X, then X is an exponential S^W. 
Type of Work:  Article 

Date:  2004 (Publication) 
School/Faculty:  Schools (1998 to 2008) > School of Computer Science 
Department:  Computer Science 
Subjects:  Q Science (General) QA75 Electronic computers. Computer science 
Institution:  University of Birmingham 
Copyright Holders:  TAC 
ID Code:  194 
Refereed:  YES 
Local Holdings: 

Repository Staff Only: item control page