karl bühler digital

Home > Book Series > Proceedings > Contribution

Publication details

Publisher: Springer

Place: Berlin

Year: 2004

Pages: 170-185

Series: Lecture Notes in Computer Science

ISBN (Hardback): 9783540223924

Full citation:

Pascal Hitzler, "A cartesian closed category of approximable concept structures", in: Conceptual structures at work, Berlin, Springer, 2004

Abstract

Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical structures which are normally not restricted to the finite cases. In this paper we establish a systematic connection between formal concept analysis and domain theory as a categorical equivalence, enriching the link between the two areas as outlined in [25]. Building on a new notion of approximable concept introduced by Zhang and Shen [26], this paper provides an appropriate notion of morphisms on formal contexts and shows that the resulting category is equivalent to (a) the category of complete algebraic lattices and Scott continuous functions, and (b) a category of information systems and approximable mappings. Since the latter categories are cartesian closed, we obtain a cartesian closed category of formal contexts that respects both the context structures as well as the intrinsic notion of approximable concepts at the same time.

Publication details

Publisher: Springer

Place: Berlin

Year: 2004

Pages: 170-185

Series: Lecture Notes in Computer Science

ISBN (Hardback): 9783540223924

Full citation:

Pascal Hitzler, "A cartesian closed category of approximable concept structures", in: Conceptual structures at work, Berlin, Springer, 2004