Use this URL to cite or link to this record in EThOS:
Title: Meet-continuity and locally compact sober dcpos
Author: Jia, Xiaodong
ISNI:       0000 0004 7230 4935
Awarding Body: University of Birmingham
Current Institution: University of Birmingham
Date of Award: 2018
Availability of Full Text:
Access from EThOS:
Access from Institution:
In this thesis, we investigate meet-continuity over dcpos. We give different equivalent descriptions of meet-continuous dcpos, among which an important characterisation is given via forbidden substructures. By checking the function space of such substructures we prove, as a central contribution, that any dcpo with a core-compact function space must be meet-continuous. As an application , this result entails that any cartesian closed full subcategory of quasicontinuous domains consists of continuous domains entirely. That is to say , both the category of continuous domains and that of quasicontinuous domains share the same cartesian closed full subcategories. Our new characterisation of meet-continuous dcpos also allows us to say more about full subcategories of locally compact sober dcpos which are generalisations of quasicontinuous domains. After developing some theory of characterising coherence and bicompleteness of dcpos, we conclude that any cartesian closed full subcategory of pointed locally compact sober dcpos is entirely contained in the category of stably compact dcpos or that of L-dcpos. As a by-product, our study of coherence of dcpos enables us to characterise Lawson-compactness over arbitrary dcpos.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: QA Mathematics ; QA75 Electronic computers. Computer science