[論文レビュー] Double Clubs

Richard Garner|arXiv (Cornell University)|Jun 28, 2006

Logic, programming, and type systems被引用数 8

ひとこと要約

この論文は、ケリーのクラブ構成を擬似二重圏へ一般化する「二重クラブ」の理論を導入する。これは、Cat 上の対称的厳密モノイド圏のクラブを、カテゴリ、ファンクター、プロファンクター、変換からなる擬似二重圏へ拡張する。主な貢献は、高次元カテゴリカル枠組みへのクラブ構造の体系的拡張であり、豊か化された圏およびプロファンクター的枠組みでの構造的構成を可能にする。

ABSTRACT

We develop a theory of double clubs which extends Kelly's theory of clubs to the pseudo double categories of Pare and Grandis. We then show that the club for symmetric strict monoidal categories on Cat extends to a `double club' on the pseudo double category of `categories, functors, profunctors and transformations'.

研究の動機と目的

• 通常の圏から擬似二重圏の文脈へケリーのクラブ理論を拡張すること。
• 高次元圏論におけるクラブの一般化として「二重クラブ」の概念を形式化すること。
• Cat 上の対称的厳密モノイド圏のクラブが、カテゴリ、ファンクター、プロファンクター、変換からなる擬似二重圏へと上昇することを示すこと。
• プロファンクター的および変換レベルのデータを用いた、高次元代数的構造の構築と分析のための枠組みを提供すること。

提案手法

• 整合性と構造を保ちつつ、擬似二重圏の文脈へケリーのクラブ構成を適応すること。
• カテゴリ、ファンクター、プロファンクター、変換からなる擬似二重圏上のモノイドとして二重クラブを定義すること。
• プロファンクターと変換の構造を活用し、Cat からのクラブ作用を二重圏的枠組みへ上昇させること。
• ケリーの元々のクラブ理論における整合性を一般化する二重クラブの整合性条件を確立すること。
• 対称的厳密モノイド圏の特定のケースに二重クラブ構成を適用すること。
• 上昇した構造が元のクラブの普遍的性質および代数的性質を保存することを検証すること。

実験結果

リサーチクエスチョン

• RQ1 ケリーのクラブ理論を擬似二重圏の文脈へどのように一般化できるか？
• RQ2 Cat から高次元カテゴリカル枠組みへクラブ構造を拡張するための二重クラブが満たすべき条件は何か？
• RQ3 Cat 上の対称的厳密モノイド圏のクラブが、カテゴリ、ファンクター、プロファンクター、変換からなる擬似二重圏へ上昇して二重クラブとなるか？
• RQ4 プロファンクターと変換は、二重圏へのクラブ構成の拡張においてどのような役割を果たすか？
• RQ5 二重クラブ枠組みは、元のクラブの代数的および普遍的性質をどのように保存するか？

主な発見

• 二重クラブの理論は、ケリーのクラブ構成を擬似二重圏の文脈へ成功裏に一般化した。
• Cat 上の対称的厳密モノイド圏のクラブは、カテゴリ、ファンクター、プロファンクター、変換からなる擬似二重圏へと二重クラブとして上昇した。
• 上昇した構造は、元のクラブの普遍的および代数的性質を保存しており、高次元的枠組みにおける整合性を保証する。
• 二重クラブ枠組みは、プロファンクター的および豊か化圏論における代数的構造の構築と分析の体系的手段を提供する。
• プロファンクターと変換の使用により、通常の圏論における古典的クラブよりも豊かで柔軟な構成が可能になる。
• 結果として、二重クラブは高次元カテゴリカル文脈へのクラブ理論の自然で構造的な拡張を提供することが示された。