[论文解读] Lax Distributive Laws for Topology, I

Walter Tholen|arXiv (Cornell University)|Mar 20, 2016

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

一句话总结

本文通過小量值類 Q 的離散預層函子的單子 T 的鬆分配律，引入了單子-量值類 enriched 類別，建立了此類鬆分配律與離散預層上的鬆 Eilenberg-Moore T-代數結構之間的伽羅瓦對應。主要貢獻在於透過代數性與左側打結性質，對最小鬆單子擴張進行特徵化，將 Hofmann 的自然拓撲理論推廣至量值類，並在單一範疇框架下統一了拓撲、度量與有序結構。

ABSTRACT

For a quantaloid $\mathcal{Q}$, considered as a bicategory, Walters introduced categories enriched in $\mathcal{Q}$. Here we extend the study of monad-quantale-enriched categories of the past fifteen years by introducing monad-quantaloid-enriched categories. We do so by making lax distributive laws of a monad $\mathbb{T}$ over the discrete presheaf monad of the small quantaloid $\mathcal{Q}$ the primary data of the theory, rather than the lax monad extensions of $\mathbb{T}$ to the category of $\mathcal{Q}$-relations that they equivalently describe. The central piece of the paper establishes a Galois correspondence between such lax distributive laws and lax Eilenberg-Moore $\mathbb{T}$-algebra structures on the set of discrete presheaves over the object set of $\mathcal{Q}$. We give a precise comparison of these structures with the more restrictive notion introduced by Hofmann in the case of a commutative quantale, called natural topological theories here, and describe the lax monad extensions introduced by him as minimal. Throughout the paper, a variety of old and new examples of ordered, metric and topological structures illustrate the theory developed, which includes the consideration of algebraic functors and change-of-base functors in full generality.

研究动机与目标

• 將單子-量值類 enriched 類別系統性地推廣至單子-量值類 enriched 類別，以鬆分配律作為主要資料而非推導出的鬆單子擴張。
• 建立單子 T 對量值類 Q 的離散預層函子上的鬆分配律與 Q 上離散預層上的鬆 Eilenberg-Moore T-代數結構之間的伽羅瓦對應。
• 透過代數性與左側打結性質，特徵化單子 T 對 Q-關係的最小鬆單子擴張，推廣 Hofmann 的自然拓撲理論概念。
• 透過以小量值類 Q 取代量值類 V，提供拓撲、度量與有序結構的統一框架，實現更廣泛的範疇推廣。

提出的方法

• 以鬆分配律 λ: T ∘ P → P ∘ T 為基礎資料，其中 P 為小量值類 Q 上的離散預層函子。
• 理論將 (T, Q)-類別構造為鬆 λ-代數，直接以映射與 Set-單子 T 和 P 表達公理，避免依賴鬆單子擴張。
• 在量值類 Q 上的離散預層集合上，建立鬆分配律與鬆 Eilenberg-Moore T-代數結構之間的伽羅瓦對應。
• 論文引入代數鬆單子擴張與左側打結擴張的概念，證明透過 ξ 定義的擴張族 Tξ 是所有容許的、左反打結的與單調擴張中最小者。
• 最小擴張 Tξ 由公式 (Tξϕ)₁ = (canX,Y)∘ ∘ (T|ϕ|)∘ ∘ ξ∘ ∘ ε₁ 特徵化，其中 |ϕ| = ϕ₁: X×Y → Q₀。
• 該框架推廣 Hofmann 的自然拓撲理論至量值類，證明其擴張在此更廣泛設定中為最小者。

实验结果

研究问题

• RQ1 如何系統性地使用鬆分配律作為主要資料，而非推導出的鬆單子擴張，來構造單子-量值類 enriched 類別？
• RQ2 單子 T 對量值類 Q 上的離散預層函子的鬆分配律與 Q 上離散預層上的鬆 Eilenberg-Moore T-代數結構之間的精確對應關係為何？
• RQ3 在交換量值類的情形下，代數性與左側打結鬆單子擴張與自然拓撲理論概念有何關係？
• RQ4 確保鬆單子擴張族最小性的條件為何？此最小性如何以代數方式特徵化？
• RQ5 以小量值類 Q 取代量值類 V，如何推廣 (T, V)-類別理論，並統一拓撲、度量與有序結構？

主要发现

• 在小量值類 Q 上，單子 T 對離散預層函子的鬆分配律與 Q 上離散預層上的鬆 Eilenberg-Moore T-代數結構之間，建立了伽羅瓦對應。
• 透過自然拓撲理論 ξ 定義的擴張族 Tξ，是在所有容許的、左反打結的與單調鬆單子擴張中最小者。
• 最小擴張 Tξ 滿足 (Tξϕ)₁ = (canX,Y)∘ ∘ (T|ϕ|)∘ ∘ ξ∘ ∘ ε₁，其中 |ϕ| = ϕ₁: X×Y → Q₀，且被特徵化為唯一產生 ξ 的最小此類擴張族。
• 證明代數鬆單子擴張等價於條件 (Tξϕ)₁ = (canX,Y)∘ ∘ Tξ(ϕ₁) ∘ ζ∘，在無元素的表述中確認了其代數性。
• 論文證明，從自然拓撲理論 ξ 到鬆單子擴張的兩條路徑——透過最大單調分配律與透過 Tξ——產生本質上不同的擴張類型，其中 Tξ 為最小且代數性者。
• 該框架將 Hofmann 的自然拓撲理論推廣至量值類，證明其擴張在此更廣泛設定中為最小者，且最小擴張 Tξ 唯一由其最小性與代數性特徵化。