[論文レビュー] The Ehresmann-Schein-Nampooripad Theorem for Inverse Categories

Darien DeWolf, Dorette Pronk|arXiv (Cornell University)|Jul 30, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 5

ひとこと要約

この論文は、逆カテゴリおよび関手の圏と、局所的インダクティブでトップヘヴィなグロイドーおよび局所的インダクティブ関手の圏との間の同値性を確立することで、Ehresmann-Schein-Nambooripad (ESN) 定理を逆カテゴリへ拡張する。さらに、この結果を逆半カテゴリおよびオプラックス関手を含む逆カテゴリへ一般化し、元の ESN 定理の適用範囲をより広い圏的構造へ拡大する。

ABSTRACT

The Ehresmann-Schein-Nambooripad (ESN) Theorem asserts an equivalence between the category of inverse semigroups and the category of inductive groupoids. In this paper, we consider the category of inverse categories and functors -- a natural generalization of inverse semigroups -- and extend the ESN theorem to an equivalence between this category and the category of top-heavy locally inductive groupoids and locally inductive functors. From the proof of this extension, we also generalize the ESN Theorem to an equivalence between the category of inverse semicategories and the category of locally inductive groupoids and to an equivalence between the category of inverse categories with oplax functors and the category of top-heavy locally inductive groupoids and ordered functors.

研究の動機と目的

• 逆半群から逆カテゴリへの古典的 Ehresmann-Schein-Nambooripad 定理の一般化を目的とする。
• 逆カテゴリおよび関手の圏と、局所的インダクティブなトップヘヴィなグロイドーおよび局所的インダクティブ関手の圏との間の圏的同値性を確立する。
• 同値性を逆半カテゴリおよび局所的インダクティブなグロイドーへ拡張する。
• オプラックス関手が一般化された ESN フレームワークにおいて果たす役割を調査する。
• 既存の圏論的および半群論的双対性結果を統合・一般化し、逆カテゴリ理論における双対性を統一的に扱う。

提案手法

• 圏的構造を用いて、逆半群の自然な一般化として逆カテゴリを形式化する。
• インダクティブなグロイドーの圏的一般化として、トップヘヴィな局所的インダクティブなグロイドーの概念を導入する。
• 同値性を維持するために必要な構造を保つために、そのようなグロイドー間の局所的インダクティブ関手を定義する。
• 圏的双対性技術を用いて、逆カテゴリの圏とトップヘヴィな局所的インダクティブなグロイドーの圏との間の同値性を構成および検証する。
• より広い射型を捉えるために、オプラックス関手および順序付き関手をフレームワークに組み込む。
• 元の ESN 定理の証明構造を新しい圏的設定へ適用し、関手および自然変換に適応させる。

実験結果

リサーチクエスチョン

• RQ1 ESN 定理はどのように逆半群から逆カテゴリへ一般化できるか？
• RQ2 グロイドー枠組みにおいて、逆カテゴリに対応する圏的構造は何か？
• RQ3 同値性を維持するために必要な構造を保つ関手の種類は何か？
• RQ4 オプラックス関手は拡張された ESN フレームワークにおいてどのように位置づけられるか？
• RQ5 同値性は逆半カテゴリおよび順序付き関手へ拡張可能か？

主な発見

• 逆カテゴリおよび関手の圏と、トップヘヴィな局所的インダクティブなグロイドーおよび局所的インダクティブ関手の圏との同値性が確立された。
• 一般化された ESN 定理は逆半カテゴリへ拡張され、局所的インダクティブなグロイドーとの同値性を示した。
• フレームワークはオプラックス関手を扱えるようになり、逆カテゴリにオプラックス関手を組み込んだものと、トップヘヴィな局所的インダクティブなグロイドーに順序付き関手を組み込んだものとの同値性が得られた。
• 証明技法は、元の ESN 定理を関手および自然変換に適応させることで一般化された。
• 結果として、逆半群および圏論における既存の双対性結果が統合・拡張された。
• トップヘヴィな局所的インダクティブなグロイドーの構造は、圏的設定における逆カテゴリの本質的性質を捉えている。