BriefGPT.xyz
Nov, 2022
通过CF逼近空间表示域
Representations of Domains via CF-approximation Spaces
HTML
PDF
Guojun Wu, Luoshan Xu
TL;DR
本文探讨了利用CF-逼近空间表示域的表示方法,引入了CF-逼近空间和CF-闭集的概念,并且证明了在集合包含关系下,CF-逼近空间中的CF-闭集族是连续域,每个连续域都同构于某个具有集合包含关系的CF-逼近空间的CF-闭集族。最后,引入了CF-逼近关系的概念,利用范畴方法证明了CF-逼近空间和可CF-逼近关系的范畴等价于连续域与Scott-连续映射的范畴。
Abstract
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
→