Results 1 
2 of
2
Approximable concepts, Chu spaces, and information systems
"... This paper serves to bring three independent but important areas of computer science to a common meeting point: Formal Concept Analysis (FCA), Chu Spaces, and Domain Theory (DT). Each area is given a perspective or reformulation that is conducive to the flow of ideas and to the exploration of cros ..."
Abstract

Cited by 12 (8 self)
 Add to MetaCart
This paper serves to bring three independent but important areas of computer science to a common meeting point: Formal Concept Analysis (FCA), Chu Spaces, and Domain Theory (DT). Each area is given a perspective or reformulation that is conducive to the flow of ideas and to the exploration of crossdisciplinary connections. Among other results, we show that the notion of state in Scott’s information system corresponds precisely to that of formal concepts in FCA with respect to all finite Chu spaces, and the entailment relation corresponds to “association rules”. We introduce, moreover, the notion of approximable concept and show that approximable concepts represent algebraic lattices which are identical to Scott domains except the inclusion of a top element. This notion serves as a stepping stone in the recent work [Hitzler and Zhang, 2004] in which a new notion of morphism on formal contexts results in a category equivalent to (a) the category of complete algebraic lattices and Scott continuous functions, and (b) a category of information systems and approximable mappings.
An Unexpectedly Simple 2Categorical Origin
"... We characterize Set as the final halfpointed category, and the Chu categories as the quasifinal splitpointed categories. ..."
Abstract
 Add to MetaCart
We characterize Set as the final halfpointed category, and the Chu categories as the quasifinal splitpointed categories.