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. (shrink)
In this paper, the Boolean representation of R0-algebras are investigated. In particular, we show that directly indecomposable R0-algebras are equivalent to local R0-algebras and any nontrivial R0-algebra is representable as a weak Boolean product of local R0-algebras.