Representations of FS-domains and BF-domains via FS-approximation Spaces

2024/08/07 by Wu, Guojun, Xu, Luoshan
#Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.2408.03523

Abstract

In this paper, concepts of (topological) FS-approximation spaces are introduced. Representations of FS-domains and BF-domains via (topological) FS-approximation spaces are considered. It is proved that the collection of CF-closed sets in an FS-approximation space (resp., a topological FS-approximation space) endowed with the set-inclusion order is an FS-domain (resp., a BF-domain) and that every FS-domain (resp., BF-domain) is order isomorphic to the collection of CF-closed sets of some FS-approximation space (resp., topological FS-approximation space) endowed with the set-inclusion order. The concept of topological BF-approximation spaces is introduced and a skillful method without using CF-approximable relations to represent BF-domains is given. It is also proved that the category of FS-domains (resp., BF-domains) with Scott continuous maps as morphisms is equivalent to that of FS-approximation spaces (resp., topological FS-approximation spaces) with CF-approximable relations as morphisms.

Related

• When do CF-approximation spaces capture sL-domains
• A combinatorial approach to certain topological spaces based on minimum complement S-approximation spaces
• Categorical Representations of Continuous Domains and Continuous L-Domains Based on Closure Spaces
• Topological Extensions of Rough Approximation Spaces
• Scott Function Spaces under One-Sided FS Assumptions: Counterexamples, Positive Results, and New Directions