[論文レビュー] Introduction to Ann-categories

Tien Quang Nguyen|ArXiv.org|Feb 20, 2007

Rough Sets and Fuzzy Logic参考文献 1被引用数 17

ひとこと要約

この論文は、環の演算に類似した2つの互いに適合するモノイダル構造を持つカテゴリ、すなわちアン・カテゴリを導入し、その構造に関する基礎的結果を確立する。また、ピック関手のカテゴリを介して、任意のアン・カテゴリが忠実に埋め込まれることを示し、代数的構造における環に類似した圏的枠組みを提供する。

ABSTRACT

In this paper, we present new concepts of Ann-categories, Ann-functors, and a transmission of the structure of categories based on Ann-equivalences. We build Ann-category of Pic-funtors and prove that each Ann-category can be faithfully embedded into an almost strictly Ann-category.

研究の動機と目的

• 2つの互いに適合するモノイダル演算を用いて、環に類似した構造の圏的枠組みを形式化すること。
• アン・カテゴリ、アン・関手、アン・同値を、環と環準同型の圏的類似物として定義すること。
• アン・カテゴリにおける制約の厳密化を可能にする構造移転定理を確立すること。
• 任意のアン・カテゴリが、ほぼ厳密なアン・カテゴリに忠実に埋め込まれることを証明すること。
• カテゴリ的不変量を用いたアン・カテゴリのコホロロジー的分類の基盤を築くこと。

提案手法

• アン・カテゴリを、二つの双関手 ⊕ および ⊗ を備えたカテゴリとして定義し、結合的、単位的、分配的に対応する同型自然変換が coherence 条件を満たすようにする。
• 合成およびテンソル積に関して自然同型を備えた、関手 $ F: \mathcal{A} \to \mathcal{A}' $ のカテゴリ $\mathrm{End}(\mathcal{A})$ を導入する。
• 零対象、単位対象、交換性同型 $c^*$、左分配的同型 $\mathcal{L}^*$ を定義することで、$\mathrm{End}(\mathcal{A})$ にほぼ厳密なアン・カテゴリ構造を構成する。
• 各対象 $A$ を左乗法関手 $L^A$ に送る関手 $\Lambda: \mathcal{A} \to \mathrm{End}(\mathcal{A})$ を定義し、自然同型 $\breve{\Lambda}$ および $\widetilde{\Lambda}$ を備える。
• $\Lambda$ が忠実なアン・関手であることを証明し、$\mathcal{A}$ が $\mathrm{End}(\mathcal{A})$ に埋め込まれることを確立する。
• アン・同値と埋め込みの合成を用いて、任意のアン・カテゴリが、交換性を除きすべての制約が厳密なほぼ厳密なアン・カテゴリと同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 2つの互いに適合するモノイダル演算（環における加法と乗法に類似）を持つ圏的構造を、どのように形式的公理化できるか？
• RQ2 アン・カテゴリが、より厳しい構造的制約を持つカテゴリに埋め込まれるための条件は何か？
• RQ3 アン・カテゴリの厳密化形において、交換性制約が自明になる条件は何か？
• RQ4 任意のアン・カテゴリは、演算が厳密に結合的かつ単位的である関手のカテゴリに埋め込めるか？
• RQ5 ピック関手は、アン・カテゴリの普遍的埋め込みを構成する上で果たす役割は何か？

主な発見

• アン・カテゴリ $\mathcal{A}$ におけるピック関手のカテゴリ $\mathrm{End}(\mathcal{A})$ は、適切に定義された零対象、単位対象、交換性制約、分配的制約を備えたほぼ厳密なアン・カテゴリをなす。
• $A \mapsto L^A$ により定義される関手 $\Lambda: \mathcal{A} \to \mathrm{End}(\mathcal{A})$ は忠実なアン・関手であり、$\mathcal{A}$ を $\mathrm{End}(\mathcal{A})$ に埋め込む。
• 任意のアン・カテゴリは、$\oplus$ に関して AU-厳密な制約を持つアン・カテゴリとアン・同値である。
• アン・カテゴリがほぼ厳密なアン・カテゴリに埋め込まれるための必要十分条件は、その交換性制約が $c_{X,X} = \mathrm{id}$ を満たすことである。
• 目標カテゴリにおける制約の厳密性は最大である：すべての制約が交換性を除き厳密であれば、元のカテゴリにおいて $c_{X,X} = \mathrm{id}$ が成立しなければならない。
• 埋め込み $\Lambda$ は、自然同型 $\widetilde{\Lambda}_{A,B} = a^{-1}_{A,B,-}$ および $\breve{\Lambda}_{A,B} = \mathcal{R}_{A,B,-}$ を用いて構成され、これらはアン・関手としての必要な coherence 条件を満たす。