[论文解读] Fibrations as Eilenberg-Moore algebras

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

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

一句话总结

本文证明了在范畴 𝔹 上的 opfibration 恰好是 2-范畴 Cat/𝔹 上某个特定 KZ 幂等模范畴的 Eilenberg-Moore 代数，通过模范畴代数对 opfibration 提供了代数刻画。它表明分裂 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 特征化，避免使用伪函子和范畴值函子。
• 证明分裂 opfibration 恰好是 Cat/𝔹 上 KZ 幂等模范畴的严格代数。
• 通过 cocartesian 箭头的普遍性质，建立 opfibration 与该模范畴的 Eilenberg-Moore 代数之间的等价性。
• 利用 KZ 幂等模范畴的伴随提升结构，对已知结果（特别是 opfibration 的分裂存在性）提供构造性证明。

提出的方法

• 在 Cat/𝔹 中定义 2-范畴，其对象为到 𝔹 的函子，1-态射为严格交换的三角形，2-胞态为垂直自然变换。
• 通过将函子 π:𝒳→𝔹 映射到 𝔹 上的箭头范畴 π↓𝔹，构造 Cat/𝔹 上的 KZ 幂等模范畴 T，其中单位为典范函子 y𝒳:𝒳→T(𝒳)。
• 利用 cocartesian 箭头的普遍性质，定义 y𝒳 的左伴随左逆 ξ:T(𝒳)→𝒳，该映射存在当且仅当 π 是 opfibration。
• 证明此类 ξ（垂直左伴随左逆）的存在性恰好将 opfibration 特征化为 KZ 幂等模范畴 T 的 Eilenberg-Moore 代数。
• 通过构造一个归一化的截面并将其转移至 ξ 的全像，将分裂 opfibration 与严格代数对应起来。
• 通过显式构造 K 与 π̅ 之间的伴随关系，建立 lali（左伴随左逆）与 lari（左伴随右逆）准则之间的等价性，其中关键数据为单位 X▹a。

实验结果

研究问题

• RQ1 如何在 2-范畴论设定下，利用模范畴对 opfibration 进行代数特征化？
• RQ2 分裂 opfibration 与 Cat/𝔹 上 KZ 幂等模范畴的严格代数之间的确切关系是什么？
• RQ3 是否可以仅通过 cocartesian 箭头的普遍性质推导出经典的 opfibration 概念，而无需使用伪函子？
• RQ4 lali 与 lari 准则之间有何关系？能否从一个推导出另一个？
• RQ5 每个 opfibration 是否都与某个分裂 opfibration 2-范畴等价？若是，如何通过代数方法构造这种分裂？

主要发现

• 一个 opfibration π:𝒳→𝔹 当且仅当是 Cat/𝔹 上 KZ 幂等模范畴 T 的 Eilenberg-Moore 代数，其中 T(𝒳) = π↓𝔹。
• 分裂 opfibration 恰好是 KZ 幂等模范畴 T 的严格代数，其分裂结构源于归一化的截面，并通过将 T(𝒳) 上的典范分裂转移至 ξ 的全像而获得。
• 存在一个垂直左伴随左逆 ξ:T(𝒳)→𝒳 到典范函子 y𝒳:𝒳→T(𝒳) 的条件，恰好刻画了 π 为 opfibration。
• cocartesian 箭头的普遍性质确保单位 X▹a: X→a⁎(X) 诱导出 π̅:𝒳²→π↓𝔹 的一个良定义左伴随，从而产生一个 lari 伴随关系。
• 通过构造 K(X,a) = X▹a 的左伴随 K:π↓𝔹→𝒳²，建立了 opfibration 的 lali 与 lari 准则之间的等价性。
• 每个 opfibration 都与某个分裂 opfibration 2-范畴等价，这是通过在 T(𝒳) 的全像子范畴上构造一个继承自 T(𝒳) 上典范分裂的子范畴而实现的。