Abstract
We continue studying the connections between the Chu construction on the category ChuCors of formal contexts and Chu correspondences, and generalizations of Formal Concept Analysis (FCA). All the required constructions like categorical product, tensor product, together with its bifunctor properties are introduced and proved. The final section focuses on how the second-order generalization of FCA can be built up in terms of the Chu construction.
Notes
No potential conflict of interest was reported by the authors.
This is an extended version of the conference paper presented in CLA’15.
1 See Barr and Wells (Citation1995) and more concretely (Mori Citation2008; Krídlo, Krajči, and Ojeda-Aciego Citation2012).