A representation of L-domain by formal concept analysis

Abstract

In this paper, we represent L-domains by means of formal concept analysis. Based on the attributive continuous formal contexts, we propose the notions of LDF-contexts and \({\mathcal {F}}\)-morphisms and show that they provide concrete representations of L-domains and Scott-continuous functions between them, respectively. Moreover, the category of LDF-contexts with \(\mathcal {F}\)-morphisms is proven to be equivalent to that of L-domains with Scott-continuous functions as morphisms.