×

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
PDF BibTeX XML Cite
Full Text: DOI