# zbMATH — the first resource for mathematics

Chu correspondences. (English) Zbl 1146.06002
Summary: 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.

##### MSC:
 06A15 Galois correspondences, closure operators (in relation to ordered sets) 06B23 Complete lattices, completions 18B99 Special categories
Full Text: