AI 中文总结
本文证明形式概念分析中的Dubois–Prade八个可能算子源于布尔profunctor的Kan扩张，解释了$N\boldsymbol{\u03A0}$-对的本质，还确定了生成形式概念的算子组合，并构造出新闭包算子。
AI 中文摘要
本文证明，形式概念分析（Formal Concept Analysis, FCA）中Dubois–Prade的八个可能算子，可由底层布尔 profunctor 的Kan扩张典范地导出，这为“$N\boldsymbol{\u03A0}$-对是补背景的形式概念”这一结果提供了概念性解释。我们进一步证明，FCA闭包算子与$N\boldsymbol{\u03A0}$-对是唯一能生成形式概念的对称或非对称算子组合。最后，我们利用这八个可能算子，通过标准范畴论论证在形式背景上构造新的闭包算子。
英文摘要
In this paper we prove that Dubois--Prade's eight possibilistic operators in Formal Concept Analysis arise canonically from Kan extensions of the underlying boolean profunctor. This provides a conceptual explanation for the result that $NΠ$-pairs are the formal concepts of the complement context. We further prove that the FCA closure operator and the $NΠ$-pairs are the only symmetric or asymmetric operator compositions that give formal concepts. Finally we use these eight possibilistic operators to construct new closure operators on a formal context via standard categorical arguments.
Comments10 pages, comments are welcome!
