Representation of bifinite domains by BF-closure spaces
Keyword(s):
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.
2013 ◽
Vol 31
(2)
◽
pp. 191
2004 ◽
Vol 19
(4)
◽
pp. 995-1002
◽
1992 ◽
Vol 46
(3)
◽
pp. 449-458
◽
Keyword(s):
2020 ◽
Vol 9
(3)
◽
pp. 1306-1313