基于闭包空间的连续域与连续 L-域的范畴表示
计算机科学中的逻辑
2022-02-04 v3 逻辑
摘要
闭包空间已被证明是重构格与各类序结构的有用工具。本文旨在提供一种借助闭包空间刻画若干重要连续域的新途径。通过在给定闭包空间中引入一个附加映射，提出 F-增广广义闭包空间的概念。表明 F-增广广义闭包空间恰好生成连续域。此外，识别出可表示连续域间 Scott 连续函数的可逼近映射概念。这些结果产生了一个等价于以 Scott 连续函数为态射的连续域范畴。同时，考虑了 F-增广广义闭包空间的两个子类，分别作为连续 L-域与连续有界完备域的表示。
引用
@article{arxiv.1809.05049,
title = {Categorical Representations of Continuous Domains and Continuous L-Domains Based on Closure Spaces},
author = {Longchun Wang and Qingguo Li and Lanlun Guo},
journal= {arXiv preprint arXiv:1809.05049},
year = {2022}
}