The Representations of QFS‐Domains
ABSTRACT In this paper, we propose the strong* proximity lattices, and prove that the categories and are categorically equivalent, building on the framework established by Achim Jung and Philipp Sünderhauf. denotes the category of all QFS‐domains and continuous functions. denotes the category of the strong* proximity lattices with the approximable relations. This answers the question posed by Achim Jung at the conference ISDT'13.
Authors
- Zhenzhu Yuan (ORCID: https://orcid.org/0000-0002-0196-0279)
- Fan Feng (ORCID: https://orcid.org/0000-0002-5367-8208)
- Qingguo Li (ORCID: https://orcid.org/0000-0002-4314-7489)
Institutions
- Hunan University (CN)
- Changsha Normal University (CN)
Publication Details
- Journal
- Mathematical logic quarterly
- Published
- 2026-06-12
- DOI
- https://doi.org/10.1002/malq.70025
- Primary Topic
- Advanced Algebra and Logic
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- National Natural Science Foundation of China
- Natural Science Foundation of Hunan Province