Pointfree bispaces and pointfree bisubspaces

Suarez, Anna Laura (2021). Pointfree bispaces and pointfree bisubspaces. University of Birmingham. Ph.D.

[img]
Preview
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):
Supervisor(s)EmailORCID
Jung, AchimUNSPECIFIEDUNSPECIFIED
Vickers, StevenUNSPECIFIEDUNSPECIFIED
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 Request a Correction
View Item View Item

Downloads

Downloads per month over past year