FS-近似空间中的 FS-域与 BF-域表示
范畴论
2024-08-08 v1
摘要
本文引入了（拓扑）FS-近似空间的概念。讨论了通过（拓扑）FS-近似空间表示 FS-域和 BF-域的方法。证明了在 FS-近似空间（或拓扑 FS-近似空间）中以集合包含顺序所构成的 CF-闭集集合构成 FS-域（或 BF-域），且每个 FS-域（或 BF-域）都与某个 FS-近似空间（或拓扑 FS-近似空间）中以集合包含顺序所构成的 CF-闭集集合序同构。引入了拓扑 BF-近似空间的概念，并给出一种无需使用 CF-可近似关系来表示 BF-域的巧妙方法。还证明了 FS-域（或 BF-域）范畴中以 Scott 连续映射为态射的范畴与 FS-近似空间（或拓扑 FS-近似空间）中以 CF-可近似关系为态射的范畴是等价的。
关键词
引用
@article{arxiv.2408.03523,
title = {Representations of FS-domains and BF-domains via FS-approximation Spaces},
author = {Guojun Wu and Luoshan Xu},
journal= {arXiv preprint arXiv:2408.03523},
year = {2024}
}