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

  • Authors:
  • Ondrej Krídlo;Stanislav Krajči;Manuel Ojeda-Aciego

  • 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;(Correspd.) Department Matemática Aplicada, University Málaga, Spain, aciego@uma.es

  • Venue:
  • Fundamenta Informaticae - Concept Lattices and Their Applications
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

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.