论文标题
形式概念分析的单体类别
Monoidal Categories for Formal Concept Analysis
论文作者
论文摘要
我们研究形式环境的单体类别，在该环境中，状态与形式概念相对应。特别是，我们检查了上下文之间的键或chu对应关系的类别，这与完整的SUP局限性的 *自主类别相等。我们表明，这两个类别都存在第二个单体结构，与Ganter和Wille定义的形式环境的直接乘积相对应，并讨论这些类别作为含义的组成模型的使用。
We investigate monoidal categories of formal contexts, in which states correspond to formal concepts. In particular we examine the category of bonds or Chu correspondences between contexts, which is known to be equivalent to the *-autonomous category of complete sup-lattices. We show that a second monoidal structure exists on both categories, corresponding to the direct product of formal contexts defined by Ganter and Wille, and discuss the use of these categories as compositional models of meaning.
