Functorial Properties of Formal Concept Analysis

Conceptual Structures: Knowledge Architectures for Smart Applications The concept of Chu correspondences between formal contexts is introduced. The construction of formal concepts induces a functor B from the category of Chu correspondences ChuCors to the category Slat of sup-preserving maps between complete lattices. It turns out that the category ChuCors has a $\ast$-autonomous category structure and the functor B is shown to preserve the $\ast$-autonomous category structure. Details are given in 4.
  • @obj
  • @francesco.k
  • @iccs
  • @dblp
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).