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.