Functorial Properties of Formal Concept Analysis

摘要

The concept of Chu correspondences between formal contexts is introduced. The construction of formal concepts induces a functor 23 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 *-autonomous category structure and the functor B is shown to preserve the *-autonomous category structure. Details are given in [4].