[論文レビュー] Cartesian Double Categories with an Emphasis on Characterizing Spans

Evangelia Aleiferi|arXiv (Cornell University)|Sep 18, 2018

Rough Sets and Fuzzy Logic参考文献 27被引用数 5

ひとこと要約

この論文は、カルテジアン双圏の一般化としてのカルテジアン二重圏を導入し、双圏の設定における技術的問題を軽減するより厳密な2-圏的枠組みを提供する。スパンの二重圏がカルテジアン二重圏として特徴付けられ、同様にプロファイターの特徴付けの基盤が提供され、スパン上のモジュールの理論がこの設定に自然に拡張されることを示している。

ABSTRACT

In this thesis, we introduce Cartesian double categories, motivated by the work of Carboni, Kelly, Walters, and Wood on Cartesian bicategories. Moving from bicategories to the slightly more generalized notion of double categories allows us to set the whole theory inside the welcoming 2-category of double categories, and to overcome technical problems that were caused by working with left adjoints inside a general bicategory. Cartesian double categories that are also fibrant are of particular interest to us. After describing some important properties of Cartesian and fibrant double categories, we give a characterization of the double category of Spans as a Cartesian double category. Lastly, we talk about profunctors and give a potential framework for their characterization as Cartesian double categories.

研究の動機と目的

• 双圏から二重圏への移行によって、カルテジアン圏のより構造的かつ技術的に取り扱いやすい枠組みを構築すること。
• 二重圏の厳密な2-圏的構造を活用することで、特に左随伴と緩い関手に関連する技術的障害を克服すること。
• スパンの二重圏をカルテジアン二重圏として特徴付けること。
• プロファイターをカルテジアン二重圏として特徴付ける基盤を築くこと。
• 高次元圏論の基礎的構造としてのカルテジアン二重圏の可能性を検討すること、特に古典的なカルテジアン圏の性質（例：対角写像と余単位写像を伴う対称モノイド構造）の一般化を含む。

提案手法

• DblCatにおける厳密な2-圏的構造を用いて、二重圏とその積（対角および終端関手）との間の随伴を介してカルテジアン二重圏を定義する。
• カルテジアン構造に必要な普遍性と整合性を保証するため、ファイブレント二重圏を導入する。
• 二重圏の文脈におけるグロテンディーク構成を用いて、水平な双圏とその基となる圏との関係を関係づける。
• エイレンベルク＝ムール対象とタブレーターを用いて、二重圏における普遍性を分析・構成する。
• 関手 C: Span(D₀) → D がベック＝シェヴァレー条件を満たすことで、スパンの二重圏の普遍性を確立する。
• D がカルテジアン二重圏であれば、D に関するモジュールの二重圏 Mod(D) もカルテジアンであることを示し、Prof(E) をカルテジアンとして特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 緩い関手や左随伴に関連する技術的課題を軽減する観点から、カルテジアン双圏をどのように二重圏へ一般化できるか。
• RQ2 カルテジアン二重圏の枠組みの中で、スパンの二重圏を特徴付ける普遍的性質は何か。
• RQ3 有限完備な圏上のプロファイターの二重圏は、カルテジアン二重圏として特徴付けられるか。
• RQ4 カルテジアン二重圏上のモジュールの二重圏がカルテジアンのままであるための条件は何か。
• RQ5 古典的なカルテジアン圏の性質（例：対角写像と余単位写像を伴う対称モノイド構造）は、どの程度二重圏の設定に一般化できるか。

主な発見

• 有限積を持つ圏上のスパンの二重圏は、ベック＝シェヴァレー条件を満たす関手 C: Span(D₀) → D の構成により、カルテジアン二重圏であることが示された。
• ファイブレントカルテジアン二重圏は、普遍性を垂直構造と水平構造の両方へ持ち上げる自然な設定を提供し、両者の整合性を保証する。
• Prof(E) や V-Mat における「良い」写像（双圏における左随伴に類似）の全部分二重圏は、ベースの圏またはモノイド圏が適切に構造付けられている場合、有限積を持つ。
• D がカルテジアン二重圏であれば、D に関するモジュールの二重圏 Mod(D) は同様にカルテジアンであることが示され、双圏的結果が二重圏の設定へ一般化された。
• カルテジアン二重圏の理論は、DblCat という厳密な2-圏の枠組み内で、随伴や積がより直接的に制御できるため、双圏的積に関する技術的複雑性を回避する。
• この枠組みにより、プロファイターがカルテジアン二重圏として洗練された形で特徴付けられ、Prof(E) の完全な特徴付けへの道筋が示唆された。