The Category of L-Chu Correspondences and the Structure of L-Bonds

Issue title: Concept Lattices and Their Applications

Article type: Research Article

Authors: Krídlo, Ondrej | Krajči, Stanislav | Ojeda-Aciego, Manuel

Affiliations: Department of Computer Science, University P.J. Šafárik, Košice, Slovakia, o.kridlo@gmail.com | Department of Computer Science, University. P.J. Šafárik, Košice, Slovakia, stanislav.krajci@upjs.sk | Department Matemática Aplicada, University Málaga, Spain, aciego@uma.es

Note: [] Address for correspondence: Department Matemática Aplicada, Univ. Málaga, Spain

Abstract: An L-fuzzy generalization of the so-called Chu correspondences between formal contexts forms a category called L-ChuCors. In this work, we show that this category naturally embeds ChuCors and prove that it is *ast;-autonomous. We also focus on the direct product of two L-fuzzy contexts, which is defined with the help of a binary operation, essentially a disjunction, on a lattice of truth-values L.

DOI: 10.3233/FI-2012-657

Journal: Fundamenta Informaticae, vol. 115, no. 4, pp. 297-325, 2012