A bitopological point-free approach to compactifications

3470 15 20815 6 40507 document 20815 Klinke_12_PhD.pdf application/pdf 1fa29de8ef45f7b44f3f21581d99a229 MD5 1574997 2012-06-26 10:30:32 http://etheses.bham.ac.uk//id/eprint/3470/1/Klinke_12_PhD.pdf 3470 1 1 application/pdf application/pdf en public

Klinke_12_PhD.pdf

http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/20819 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/20819 http://eprints.org/relation/hassmallThumbnailVersion http://etheses.bham.ac.uk/id/document/20819 http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/20820 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/20820 http://eprints.org/relation/haspreviewThumbnailVersion http://etheses.bham.ac.uk/id/document/20820 http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/20821 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/20821 http://eprints.org/relation/hasIndexCodesVersion http://etheses.bham.ac.uk/id/document/20821 20816 5 40510 document 20816 Decl_IS_Klinke_12_PhD.pdf application/pdf 17a0aa9afbbb8b1745d3462b29efeea9 MD5 135910 2012-06-26 10:30:57 http://etheses.bham.ac.uk//id/eprint/3470/2/Decl_IS_Klinke_12_PhD.pdf 3470 2 2 application/pdf application/pdf en staffonly

Decl_IS_Klinke_12_PhD.pdf

http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/20817 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/20817 http://eprints.org/relation/hassmallThumbnailVersion http://etheses.bham.ac.uk/id/document/20817 http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/20818 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/20818 http://eprints.org/relation/haspreviewThumbnailVersion http://etheses.bham.ac.uk/id/document/20818 http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/20822 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/20822 http://eprints.org/relation/hasIndexCodesVersion http://etheses.bham.ac.uk/id/document/20822 20817 2 40518 document 20817 small.png image/png 8ed9db6a51554557bea68e44560dfb59 MD5 6952 2012-06-26 10:46:31 http://etheses.bham.ac.uk//id/eprint/3470/3/small.png 3470 3 3 image/png thumbnail_small Thumbnail Documents conversion from application/pdf to thumbnail_small en staffonly

small.png

preview.jpg

small.png

http://eprints.org/relation/isVersionOf http://etheses.bham.ac.uk/id/document/20815 http://eprints.org/relation/isVolatileVersionOf http://etheses.bham.ac.uk/id/document/20815 http://eprints.org/relation/issmallThumbnailVersionOf http://etheses.bham.ac.uk/id/document/20815 20820 2 40521 document 20820 preview.jpg image/jpeg 00f50334ae7f6675e5a187d01d6628f8 MD5 9170 2012-06-26 10:46:32 http://etheses.bham.ac.uk//id/eprint/3470/6/preview.jpg 3470 6 6 image/jpeg image/jpeg Thumbnail Documents conversion from application/pdf to thumbnail_preview en staffonly

preview.jpg

http://eprints.org/relation/isVersionOf http://etheses.bham.ac.uk/id/document/20815 http://eprints.org/relation/isVolatileVersionOf http://etheses.bham.ac.uk/id/document/20815 http://eprints.org/relation/ispreviewThumbnailVersionOf http://etheses.bham.ac.uk/id/document/20815 20821 2 40522 document 20821 indexcodes.txt text/plain 1691191d382dd63d5b7d2a100ecc72ec MD5 24656 2012-06-26 10:46:35 http://etheses.bham.ac.uk//id/eprint/3470/7/indexcodes.txt 3470 7 7 text/plain indexcodes Generate index codes conversion from application/pdf to indexcodes en staffonly

indexcodes.txt

http://eprints.org/relation/isVersionOf http://etheses.bham.ac.uk/id/document/20815 http://eprints.org/relation/isVolatileVersionOf http://etheses.bham.ac.uk/id/document/20815 http://eprints.org/relation/isIndexCodesVersionOf http://etheses.bham.ac.uk/id/document/20815 20822 2 40523 document 20822 indexcodes.txt text/plain 4c055d8f05156779f7543a40e5c212e3 MD5 2250 2012-06-26 10:46:35 http://etheses.bham.ac.uk//id/eprint/3470/8/indexcodes.txt 3470 8 8 text/plain indexcodes Generate index codes conversion from application/pdf to indexcodes en staffonly

indexcodes.txt

http://eprints.org/relation/isVersionOf http://etheses.bham.ac.uk/id/document/20816 http://eprints.org/relation/isVolatileVersionOf http://etheses.bham.ac.uk/id/document/20816 http://eprints.org/relation/isIndexCodesVersionOf http://etheses.bham.ac.uk/id/document/20816 archive 4031 disk0/00/00/34/70 2012-06-26 12:15:26 2019-01-23 09:56:21 2012-06-26 12:15:26 thesis show 0 Klinke Olaf Karl Jung Achim Escardo Martin Vickers Steven University of Birmingham A bitopological point-free approach to compactifications unpub GA QA75 QA76 10col_ephy This thesis extends the concept of compactifications of topological spaces to a setting where spaces carry a partial order and maps are order-preserving. The main tool is a Stone-type duality between the category of d-frames, which was developed by Jung and Moshier, and bitopological spaces. We demonstrate that the same concept that underlies d-frames can be used to do recover short proofs of well-known facts in domain theory. In particular we treat the upper, lower and double powerdomain constructions in this way. The classification of order-preserving compactifications follows ideas of B. Banaschewski and M. Smyth. Unlike in the categories of spaces or locales, the lattice-theoretic notion of normality plays a central role in this work. It is shown that every compactification factors as a normalisation followed by the maximal compactification, the Stone-Cech compactification. Sample applications are the Fell compactification and a stably compact extension of algebraic domains. 2012-07 2011-12 graduation eng author unchecked This unpublished thesis/dissertation is copyright of the author and/or third parties. The intellectual property rights of the author or third parties in respect of this work are as defined by The Copyright Designs and Patents Act 1988 or as modified by any successor legislation. Any use made of information contained in this thesis/dissertation must be in accordance with that legislation and must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the permission of the copyright holder. The University of Birmingham public 223 University of Birmingham School of Computer Science d_ph other 2012-07 graduation