Representation of bifinite domains by BF-closure spaces-Reference-Cited by-同舟云学术

Representation of bifinite domains by BF-closure spaces

Published:2021-06-01 Issue:3 Volume:71 Page:565-572
ISSN:1337-2211
Container-title:Mathematica Slovaca
language:en
Short-container-title:

Author:

Yao Lingjuan¹,Li Qingguo¹

Affiliation:

1. School of Mathematics, Hunan University, Changsha , Hunan , 410082 , China

Abstract

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.

Publisher

Walter de Gruyter GmbH

Subject

General Mathematics

Link

https://www.degruyter.com/document/doi/10.1515/ms-2021-0004/pdf

Reference13 articles.

1. Awodey, S.: Category Theory, Oxford University Press, 2010.

2. Birkhoff, G.: Rings of sets, Duke Math. J. 3 (1937), 443–454.

3. Büchi, J. R.: Representation of complete lattices by sets, Port. Math. 11 (1952), 103–119.

4. Davey, B. A.—Priestley, H. A.: Introduction to Lattices and Order, Cambridge University Press, Cambridge, 2002.

5. Erné, M.: Lattice representations for categories of closure spaces, Categorical Topology (Toledo, OH) 5 (1984), 197–222.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Direct Approaches for Representations of Various Algebraic Domains via Closure Spaces;Fuzzy Information and Engineering;2024-06