No abstract

In this paper, we introduce the notion of BF-contexts and show that the set of hyper-concepts of the BF-contexts is a bifinite domain. Conversely, given a bifinite domain we can obtain a BF-context such that all the hyper-concepts of it is isomorphic to the bifinite domain. Further, We obtain category equivalent to that of bifinite domains and BF-contexts.

No abstract

No 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.