Suarez, Anna Laura (2021). Pointfree bispaces and pointfree bisubspaces. University of Birmingham. Ph.D.
|
Suarez2021PhD.pdf
Text - Accepted Version Available under License All rights reserved. Download (1MB) | Preview |
Abstract
This thesis is concerned with the study of pointfree bispaces, and in particular with the pointfree notion of inclusion of bisubspaces. We mostly work in the context of d-frames. We study quotients of d-frames as pointfree analogues of the topological notion of bisubspace. We show that for every d-frame L there is a d-frame A(L) such that it plays the role of the assembly of a frame, in the sense that it has the analogue of the universal property of the assembly and that its spectrum is a bitopological version of the Skula space of the bispace dpt(L), the spectrum of L. Furthermore, we show that this bitopological version of the Skula space of dpt(L) is the coarsest topology in which the d-sober bisubspaces of dpt(L) are closed. We also show that there are two free constructions in the category of d-frames Act(L) and A_(L), such that they represent two variations of the bitopological version of the Skula topology. In particular, we show that in dpt(Act) the positive closed sets are exactly those d-sober subspaces of dpt(L) that are spectra of quotients coming from an increase in the con component, and that the negative closed ones are those that come from increases in the tot component. For dpt(A_(L)), we show that the positive closed sets are exactly those bisubspaces of dpt(L) that are spectra of quotients coming from a quotient of L+, and that the negative closed sets come in the same way from quotients of L
Type of Work: | Thesis (Doctorates > Ph.D.) | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Award Type: | Doctorates > Ph.D. | |||||||||
Supervisor(s): |
|
|||||||||
Licence: | All rights reserved | |||||||||
College/Faculty: | Colleges (2008 onwards) > College of Medical & Dental Sciences | |||||||||
School or Department: | School of Computer Science | |||||||||
Funders: | None/not applicable | |||||||||
URI: | http://etheses.bham.ac.uk/id/eprint/11731 |
Actions
Request a Correction | |
View Item |
Downloads
Downloads per month over past year