[論文レビュー] Categories of contexts

Marcel Erné|arXiv (Cornell University)|Jul 2, 2014

Rough Sets and Fuzzy Logic参考文献 13被引用数 7

ひとこと要約

本稿では、概念的準同型および概念連続準同型という2つの主要な準同型型を導入することで、形式的文脈と完全格子の間のカテゴリカル同値および双対性を確立する。完全格子と完全準同型の圏は、概念的準同型の下で文脈の圏のフル反映的部分圏であることが示され、一方で概念連続準同型の下では双対随伴が存在し、これにより、簡約化された文脈と非可約に生成された完全格子の間のカテゴリカル同値および双対性が得られる。

ABSTRACT

Morphisms between (formal) contexts are certain pairs of maps, one between objects and one between attributes of the contexts in question. We study several classes of such morphisms and the connections between them. Among other things, we show that the category CLc of complete lattices with complete homomorphisms is (up to a natural isomorphism) a full reflective subcategory of the category of contexts with so-called conceptual morphisms; the reflector associates with each context its concept lattice. On the other hand, we obtain a dual adjunction between CLc and the category of contexts with so-called concept continuous morphisms. Suitable restrictions of the adjoint functors yield a categorical equivalence and a duality between purified contexts and doubly based lattices, and in particular, between reduced contexts and irreducibly bigenerated complete lattices. A central role is played by continuous maps between closure spaces and by adjoint maps between complete lattices.

研究の動機と目的

• 形式的文脈とその関連概念格子の間のカテゴリカル関係を明確化すること。
• 文脈間の2つの異なるクラスの準同型、すなわち概念的準同型と概念連続準同型を定義し、それらを分析すること。
• 完全準同型を伴う完全格子の圏が、概念的準同型の下での文脈の圏のフル反映的部分圏であることを確立すること。
• 概念連続準同型の下で完全格子と文脈の間の双対随伴を導出すること。
• 制限された随伴函手を用いて、簡約化された文脈と非可約に生成された完全格子の間のカテゴリカル同値および双対性を示すこと。

提案手法

• インシデントを保存し、写像の逆像を含む閉包条件を満たす文脈間の写像のペアとして、概念的準同型を導入する。
• インシデントを反映し、一般化および特殊化に関連する連続性条件を満たすペアとして、概念連続準同型を定義する。
• 拡大と意図の閉包系を用いて、完全格子の文脈における連続性および完全性を特徴付ける。
• 概念格子函手を用いて文脈をその関連する完全格子に写像し、これが概念的準同型の圏における反射子を形成することを示す。
• 随伴函手を制限することで、簡約化された文脈と非可約に生成された格子の間のカテゴリカル同値を確立する。
• 標準的文脈函手を用いて、非可約要素の最小の結合および交差基底を通じて、格子から文脈を再構成する。

実験結果

リサーチクエスチョン

• RQ1 文脈間の概念的準同型は、それらの概念格子間の完全準同型とどのように関係するか？
• RQ2 概念連続準同型の下での文脈の圏のカテゴリカル構造は何か？ また、完全格子とはどのように関係するか？
• RQ3 完全格子の圏と概念連続準同型を伴う文脈の圏との間に、双対随伴を確立できるか？
• RQ4 どのような条件下で、簡約化された文脈と非可約に生成された完全格子の間のカテゴリカル同値が成立するか？
• RQ5 完全格子の結合および交差基底は、双対性および同値の文脈における準同型とどのように相互作用するか？

主な発見

• 完全準同型を伴う完全格子の圏は、概念的準同型の下での文脈の圏のフル反映的部分圏であり、反射子は概念格子函手である。
• 完全格子の圏と概念連続準同型の下での文脈の圏との間に、双対随伴が存在する。
• 概念格子函手と標準的文脈函手を用いて、簡約化された文脈の圏と非可約に生成された完全格子の圏との間でカテゴリカル同値が確立される。
• 簡約化された文脈と概念連続準同型を伴う非可約に生成された完全格子の圏との間に、双対性が得られる。このとき、最小の結合および交差基底を保存する完全準同型が関与する。
• 簡約化された文脈間の概念的準同型は、それらの概念格子間の非可約性を保つ完全準同型と一対一に対応する。
• 簡約化された文脈上の残余および残余付き準同型ペアは、非可約に生成された格子上の対応する完全準同型のクラスと同等かつ双対的な関係をもつ。