New representations of algebraic domains and algebraic L-domains via closure systems |
| |
Authors: | Wu Mingyuan Guo Lankun Li Qingguo |
| |
Institution: | 1.School of Mathematics, Hunan Institute of Science and Technology, Yueyang, 414006, Hunan, China ;2.College of Mathematics and Statistics, Key Laboratory of High Performance Computing and Stochastic Information Processing, Hunan Normal University, Changsha, 410012, Hunan, China ;3.School of Mathematics, Hunan University, Changsha, 410082, Hunan, China ; |
| |
Abstract: | Closure systems (spaces) play an important role in characterizing certain ordered structures. In this paper, FinSet-bounded algebraic closure spaces are introduced, and then used to provide a new approach to constructing algebraic domains. Then, a special family of algebraic closure spaces, algebraic L-closure spaces, are used to represent algebraic L-domains. Next, algebraic approximate mappings are defined and serve as the appropriate morphisms between algebraic closure spaces, respectively, algebraic L-closure spaces. On the categorical level, we show that algebraic closure spaces (respectively, algebraic L-closure spaces,) each equipped with algebraic approximate mappings as morphisms, are equivalent to algebraic domains (respectively, algebraic L-domains) with Scott continuous functions as morphisms. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|