1. The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces.
- Author
-
Wang, Longchun and Li, Qingguo
- Abstract
Closure space has been proven to be a useful tool to restructure lattices and various order structures. This paper aims to provide an approach to characterizing domains by means of closure spaces. The notion of an interpolative generalized closure space is presented and shown to generate exactly domains, and the notion of an approximable mapping between interpolative generalized closure spaces is identified to represent Scott continuous functions between domains. These produce a category equivalent to that of domains with Scott continuous functions. Meanwhile, some important subclasses of domains are discussed, such as algebraic domains, L-domains, bounded-complete domains, and continuous lattices. Conditions are presented which, when fulfilled by an interpolative generalized closure space, make the generated domain fulfill some restrictive conditions. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF