[論文レビュー] Fibrations as Eilenberg-Moore algebras

Anders Kock|arXiv (Cornell University)|Dec 5, 2013

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

ひとこと要約

この論文は、2-圏 Cat/𝔹 上の特定の KZ モナドの Eilenberg-Moore 代数として、圏 𝔹 上の opfibration がちょうどそれらであることを確立している。これは、モナド代数を用いた opfibration の代数的特徴付けを提供する。split opfibration は厳密代数に一致し、cocartesian 矢印と随伴の普遍性を用いて、偽関手や圏値関手に依存せずにこの同値性を導出する。

ABSTRACT

We give an elementary exposition of some fundamental facts about fibered (or rather opfibered) categories, in terms of monads and 2-categories. The account avoids any mention of category-valued functors and pseudofunctors.

研究の動機と目的

• 偽関手や圏値関手を避けて、モナドと代数を用いた 2-圏的特徴付けを通じて opfibration を初等的に特徴付けること。
• split opfibration が、2-圏 Cat/𝔹 上の KZ モナドの厳密代数にちょうど一致することを示すこと。
• cocartesian 矢印の普遍性を用いて、このモナドの Eilenberg-Moore 代数と opfibration の同値性を確立すること。
• 特に、opfibration のスプリッティングの存在といった既知の結果について、KZ モナドの随伴上り構造を用いて構成的証明を提供すること。

提案手法

• 対象を 𝔹 へのファンクターとする 2-圏 Cat/𝔹 を定義し、三角形が厳密に可換である 1-射を、2-セルを垂直自然変換とする。
• ファンクター π:𝒳→𝔹 を、𝔹 上の矢印の圏 π↓𝔹 に写すことで、Cat/𝔹 上の KZ モナド T を構成し、単位を y𝒳:𝒳→T(𝒳) として定める。
• cocartesian 矢印の普遍性を用いて、y𝒳 に対する左随伴左逆射 ξ:T(𝒳)→𝒳 を定義し、π が opfibration であるときかつそのときに限り存在する。
• このような ξ（垂直左随伴左逆射）の存在が、π が KZ モナド T の Eilenberg-Moore 代数であることの特徴づけであることを示す。
• 正規化されたクリーヴァージュを用いてスプリットを構成し、T(𝒳) の標準的スプリットを ξ の像全域に持ち込むことで、split opfibration が厳密代数にちょうど一致することを証明する。
• K と π̅ 間の随伴を明示的に構成することにより、lali（左随伴左逆射）と lari（左随伴右逆射）の基準の同値性を確立する。その鍵となるデータは単位 X▹a である。

実験結果

リサーチクエスチョン

• RQ1 2-圏的文脈において、モナドを用いて opfibration をどのように代数的に特徴付けられるか？
• RQ2 split opfibration と Cat/𝔹 上の KZ モナドの厳密代数との間の正確な関係は何か？
• RQ3 偽関手を用いずに、cocartesian 矢印の普遍性から古典的な opfibration の概念を導出可能か？
• RQ4 lali と lari の基準はどのように関係し合い、一方から他方が導出可能か？
• RQ5 すべての opfibration は split opfibration と 2-圏的に同値であるか？ もしそうなら、そのスプリットはどのように代数的に構成可能か？

主な発見

• opfibration π:𝒳→𝔹 は、KZ モナド T における Eilenberg-Moore 代数にちょうど同値であり、T(𝒳) = π↓𝔹 である。
• split opfibration は、KZ モナド T の厳密代数にちょうど一致し、スプリットは正規化されたクリーヴァージュから生じ、T(𝒳) の標準的スプリットが ξ の像全域に持ち込まれる。
• T(𝒳)→𝒳 への垂直左随伴左逆射 ξ が存在することは、π が opfibration であることの特徴づけである。
• cocartesian 矢印の普遍性により、単位 X▹a: X→a⁎(X) が π̅:𝒳²→π↓𝔹 に対する適切に定義された左随伴を誘導し、lari 随伴を得る。
• K(X,a) = X▹a で定義される左随伴 K:π↓𝔹→𝒳² の構成により、lali と lari の基準の同値性が確立される。
• すべての opfibration は、T(𝒳) のフルイメージ部分圏を構成することで、2-圏的に split opfibration と同値であることが示され、T(𝒳) の標準的スプリットがその部分圏に引き継がれる。