A Categorical View on Algebraic Lattices in Formal Concept Analysis

Computer Science – Logic in Computer Science

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

36 pages

Scientific paper

Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully benefit from this theory, we believe that it can be enriched with notions such as approximation by computation or representability. The latter are commonly studied in denotational semantics and domain theory and captured most prominently by the notion of algebraicity, e.g. of lattices. In this paper, we explore the notion of algebraicity in formal concept analysis from a category-theoretical perspective. To this end, we build on the the notion of approximable concept with a suitable category and show that the latter is equivalent to the category of algebraic lattices. At the same time, the paper provides a relatively comprehensive account of the representation theory of algebraic lattices in the framework of Stone duality, relating well-known structures such as Scott information systems with further formalisms from logic, topology, domains and lattice theory.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

A Categorical View on Algebraic Lattices in Formal Concept Analysis does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Categorical View on Algebraic Lattices in Formal Concept Analysis, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Categorical View on Algebraic Lattices in Formal Concept Analysis will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-477269

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.