Hokkaido Mathematical Journal, 37 (2008) pp.147-214
The concept of Chu correspondences between formal contexts is introduced. The construction of formal concepts induces a functor $Gal$ from the category of Chu correspondences to the category of sup-preserving maps between complete lattices. It turns out that the category of Chu correspondences has a $*$-autonomous category structure and the functor $Gal$ is shown to preserve the $*$-autonomous category structure.
|Uncontrolled Keywords||Chu space, formal concept analysis, $*$-autonomous category.|