Representation of bifinite domains by BF-closure spaces
Representation of bifinite domains by BF-closure spaces
复制标题
用 BF 闭包空间表示二穷域
DOI：
10.1515/ms-2021-0004
复制
发表时间：
2021-06
影响因子：
1.6
通讯作者：
Li Qingguo
中科院分区：
文献类型：
--
作者：
Yao Lingjuan;Li Qingguo
Abstract In this paper, we propose the notion of BF-closure spaces as concrete representation of bifinite domains. We prove that every bifinite domain can be obtained as the set of F-closed sets of some BF-closure space under set inclusion. Furthermore, we obtain that the category of bifinite domains and Scott-continuous functions is equivalent to that of BF-closure spaces and F-morphisms.
