论文标题
通过cf-approximation空间表示域的表示
Representations of Domains via CF-approximation Spaces
论文作者
论文摘要
域的表示，意味着代表域名为合适家族的一般方式，并具有某些数学结构的设定包含顺序。在本文中，考虑了通过CF-Approximation空间的域表示。引入了CF及其CF的概念和CF封闭式集合。事实证明，赋予固定分配顺序的CF-Approximation空间中CF封闭的集合的家族是一个连续的域，并且每个连续的域都是与CF封闭的某些CF-AppRoximation空间的同构，并具有设置融合顺序。使用分类方法引入了CF-Approable关系的概念，该方法后来促进了证据，即CF及可示数空间的类别和CF易变的关系等同于连续域和Scott连续地图。
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.
