Use this URL to cite or link to this record in EThOS:
Title: A bitopological point-free approach to compactifications
Author: Klinke, Olaf Karl
ISNI:       0000 0004 2720 0897
Awarding Body: University of Birmingham
Current Institution: University of Birmingham
Date of Award: 2012
Availability of Full Text:
Access from EThOS:
Access from Institution:
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.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: GA Mathematical geography. Cartography ; QA75 Electronic computers. Computer science ; QA76 Computer software