A Representation of Continuous Lattices Based on Closure Spaces

Qingguo Li,Longchun Wang,Lingjuan Yao
DOI: https://doi.org/10.2989/16073606.2020.1808864
2021-01-01
Quaestiones Mathematicae
Abstract:In this paper, we establish the link between continuous lattices and closure spaces. By generalizing the notion of algebraic closure space to continuous closure space, we show that continuous lattices can be represented by continuous closure spaces, just as algebraic lattices can be represented by algebraic closure spaces. We also introduce the notion of approximable mappings between continuous closure spaces, which produces the category equivalent to that of continuous lattices with Scott-continuous functions. These results demonstrate the capability of closure spaces in representing continuous domains.
What problem does this paper attempt to address?