[论文解读] Some insights on bicategories of fractions - III

Matteo Tommasini|arXiv (Cornell University)|Oct 23, 2014

Rings, Modules, and Algebras参考文献 4被引用 4

一句话总结

本文確立了在雙分類之間的偽函子能誘導其分數雙分類之間等價的必要與充分條件，推廣了普龍克的分數雙演算理論。關鍵結果識別出此類偽函子何時透過 morphism 的飽和條件擴展為局部化雙分類之間的等價。

ABSTRACT

We fix any bicategory $\mathscr{A}$ together with a class of morphisms $\mathbf{W}_{\mathscr{A}}$, such that there is a bicategory of fractions $\mathscr{A}[\mathbf{W}_{\mathscr{A}}^{-1}]$. Given another such pair $(\mathscr{B},\mathbf{W}_{\mathscr{B}})$ and any pseudofunctor $\mathcal{F}:\mathscr{A} ightarrow\mathscr{B}$, we find necessary and sufficient conditions in order to have an induced equivalence of bicategories from $\mathscr{A}[\mathbf{W}_{\mathscr{A}}^{-1}]$ to $\mathscr{B}[\mathbf{W}_{\mathscr{B}}^{-1}]$. In particular, this gives necessary and sufficient conditions in order to have an equivalence from any bicategory of fractions $\mathscr{A}[\mathbf{W}_{\mathscr{A}}^{-1}]$ to any given bicategory $\mathscr{B}$.

研究动机与目标

• 描述雙分類之間的偽函子在何種條件下能誘導其分數雙分類之間的等價。
• 將普龍克的分數雙演算理論推廣至包含局部化雙分類等價條件。
• 釐清飽和在確保來源中的 morphism 被映射至目標中內在等價中的角色。
• 提供一個準則，以判斷偽函子是否能透過局部化的普遍性擴展為局部化雙分類之間的偽函子。
• 建立雙分類分數與任給雙分類等價的條件，使用飽和與偽自然性。

提出的方法

• 利用普龍克透過分數雙演算（BF）條件構造雙分類分數的方法。
• 引入 morphism 類的右飽和概念，定義 W 的飽和為所有滿足 f∘g 與 g∘h 屬於 W 的 morphism f。
• 利用局部化偽函子 U_W: A → A[W⁻¹] 的普遍性，分析 W 中的 morphism 是否被映射至內在等價。
• 應用柱體雙分類構造 Cyl(C) 來建模偽自然等價，並分析其在 W-morphism 上的行為。
• 在雙分類中使用圖形推理，驗證局部化函子的相干性條件（例如 (B5)）。
• 透過存在偽自然等價 κ 及偽函子 G，使得包含 U_W 的圖形在等價意義下交換，從而建立等價。

实验结果

研究问题

• RQ1 在雙分類 A 與 B 中分別具有 morphism 類 W_A 與 W_B 時，偽函子 F: A → B 在何種條件下能誘導 A[W_A⁻¹] 與 B[W_B⁻¹] 之間的等價？
• RQ2 飽和在確保 W_A 中的 morphism 被映射至 B[W_B⁻¹] 中的內在等價時，其精確角色為何？
• RQ3 偽函子 F 在何種情況下能透過局部化的普遍性擴展為局部化雙分類之間的偽函子？
• RQ4 如何使用柱體雙分類構造來特徵化保持 W-morphism 的偽自然等價？
• RQ5 F 滿足何種條件時，能確保其在局部化上誘導的偽函子為雙分類之間的等價？

主要发现

• 存在偽自然等價 κ 使得包含 U_W 的圖形交換，等價於 F(W_A) 包含於 W_B 的飽和中。
• 條件 F(W_A) ⊆ W_B,sat 對於誘導的偽函子 G: A[W_A⁻¹] → B[W_B⁻¹] 的存在與等價而言，既必要也充分。
• W_B 的飽和確保 W_A 中的 morphism 被映射至 B[W_B⁻¹] 中的內在等價，這對普遍性成立至關重要。
• 偽函子 G 可建構為 G₀(A) = F₀(A) 且 G₁(A′, w, f) = (F₀(A′), F₁(w), F₁(f))，從而保持分數的結構。
• 透過 2-細胞與結合子的圖形複合，驗證了局部化函子 U_W 的相干性條件 (B5)，確認其偽函子性。
• 透過偽自然變換 κ 實現等價，使得相關的柱體偽函子 μ_κ 將每個 W_A-morphism 映射為內在等價。