Representations of Domains via CF-approximation Spaces (2211.17099v2)
Abstract: Representations of domains mean in a general way representing a domain as a suitable family endowed with set-inclusion order of some mathematical structures. In this paper, representations of domains via CF-approximation spaces are considered. Concepts of CF-approximation spaces and CF-closed sets are introduced. It is proved that the family of CF-closed sets in a CF-approximation space endowed with set-inclusion order is a continuous domain and that every continuous domain is isomorphic to the family of CF-closed sets of some CF-approximation space endowed with set-inclusion order. The concept of CF-approximable relations is introduced using a categorical approach, which later facilitates the proof that the category of CF-approximation spaces and CF-approximable relations is equivalent to that of continuous domains and Scott continuous maps.
- Liu, G. L. and W. Zhu. The algebraic structures of generalized rough set theory. Information Sciences 178 (2008) 4105-4113. https://doi.org/10.1016/j.ins.2008.06.021
- Wang, L. C. and Q. G. Li. Representations of stably continuous semi-lattices by information systems and abstract bases. Information Processing Letters 165 (2021) 1-8. https://doi.org/10.1016/j.ipl.2020.106036
- Xu, L. S. and X. X. Mao. Formal topological characterizations of various continuous domains. Comput. Math. Appl. 56 (2008) 444-452. https://doi.org/10.1016/j.camwa.2007.12.010
- Yang, L. Y. and L. S. Xu. Algebraic aspects of generalized approximation spaces. International Journal of Approximate Reasoning 51 (2009) 151-161. https://doi.org/10.1016/j.ijar.2009.10.001
- Yang, L. Y. and L. S. Xu. Topological properties of generalized approximation spaces. Information Sciences 181 (2011) 3570-3580. https://doi.org/10.1016/j.ins.2011.04.020