[論文レビュー] Stone duality for topological theories

Dirk Hofmann, Isar Stubbe|arXiv (Cornell University)|Apr 1, 2010

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

ひとこと要約

本稿は、$Ø$-圏における$Ø$-余極限を導入することで、Stone双対性の$Ø$-カテゴリー的一般化を確立し、$Ø$-圏におけるコーシー完備性がちょうどスオビエティと一致することを示している。これは、古典的な位相空間とフレームの間のStone双対性を、$Ø = \mathbf{2}$ や $[0,\infty]$ のような量的圏（quantale）の文脈に拡張したものであり、有限上界と下界を保存するフレーム準同型が、双対圏における連続写像に対応することを証明している。

ABSTRACT

In the context of categorical topology, more precisely that of T-categories [Hofmann, 2007], we define the notion of T-colimit as a particular colimit in a V-category. A complete and cocomplete V-category in which limits distribute over T-colimits, is to be thought of as the generalisation of a (co-)frame to this categorical level. We explain some ideas on a T-categorical version of "Stone duality", and show that Cauchy completeness of a T-category is precisely its sobriety.

研究の動機と目的

• 位相空間とフレームの間のStone双対性を、$Ø$-圏と$Ø$-フレームの文脈へ一般化すること。
• $Ø$-余極限を、豊かに装備された圏における有限上界のカテゴリカル一般化として定義すること。
• $Ø$-圏におけるコーシー完備性がスオビエティと同値であること、すなわち古典的Stone双対性の重要な性質を一般化すること。
• 量的圏$Ø = \mathbf{2}$および$[0,\infty]$に対して、$Ø$-圏と$Ø$-フレームの間の双対随伴が、共フレームおよびアプローチフレームの既存の双対性を回復することを示すこと。

提案手法

• $Ø$-圏における特別なクラスの余極限として$Ø$-余極限を導入し、ラティスにおける有限上界の一般化をなす。
• $Ø$-フレームを、極限が$Ø$-余極限に分配する完全かつ余完全な$Ø$-圏として定義し、フレームとコフレームを一般化する。
• $Ø$-ファンクター$Ø = [Ø, -]$を用いて、下界、テンソル、コテンソルを保存する$Ø$-ファンクターを表現する。
• 補題3.1を用いたフィルター・アイディアル分離法により、$a(Ø, -) = \varphi$および$k = \xi \cdot U\varphi(\u00d8)$を満たす超フィルター$Ø$の構成を行う。
• $Ø$に適切な条件が満たされる場合、有限上界の保存が$Ø$-上界の保存を含むことを示し、$Ø$-フレーム構造の簡略化を可能にする。
• $Ø$-圏と$Ø$-フレームの間の双対随伴を確立し、$Ø = \mathbf{2}$および$[0,\infty]$の場合に、古典的双対性が回復されることを示す。

実験結果

リサーチクエスチョン

• RQ1 Stone双対性は、位相空間とフレームから$Ø$-圏と$Ø$-フレームの文脈へどのように一般化可能か？
• RQ2 豊かに装備された圏論において、$Ø$-余極限は有限上界を一般化する上でどのようなカテゴリカル役割を果たすか？
• RQ3 有限上界を保存する$Ø$-ファンクターが、$Ø$-上界も保存するための条件は何か？
• RQ4 $Ø$-圏におけるコーシー完備性は、スオビエティと同値であるか？これは古典的双対性の一般化である。
• RQ5 $Ø = \mathbf{2}$および$[0,\infty]$の場合の双対性は、[BLVO06]におけるアプローチフレームの既存の概念とどのように比較できるか？

主な発見

• $Ø$-圏におけるコーシー完備性は、ちょうどそのスオビエティと同値であり、古典的Stone双対性における重要な結果を一般化する。
• $Ø = \mathbf{2}$の場合、$Ø_{\mathbf{2}}$-Frmは共フレームとその準同型の圏と同値であり、$Ø_{\mathbf{2}}$-Cat = Topである標準的双対随伴を回復する。
• $Ø = [0,\infty]$の場合、$Ø_{[0,\infty]}$-フレームは有限余極限が任意の極限と可換である完全な距離空間であり、その準同型はすべての極限と有限余極限を保存する収縮写像である。
• $Ø$が$⊤ = k$を満たし、集合$\{u \in \u00d8 \mid u \ll k\}$が有向集合であり、$k \leq u \vee v$ならば$k \leq u$または$k \leq v$が成り立つという条件下で、$Ø$-ファンクターが有限上界を保存するならば、$Ø$-上界も保存する。
• $a(Ø, x) = \varphi(x)$および$k = \xi \cdot U\varphi(\u00d8)$を満たす超フィルター$Ø$の構成は、補題3.1を用いて、フィルター基${A_u \mid u \ll k}$と理想${B \mid \varphi \not\leq \varphi_B}$を分離することに依存する。
• $Ø = \mathbf{2}$および$[0,\infty]$の場合の$Ø$-圏と$Ø$-フレームの間の双対随伴は、古典的Stone双対性を一般化し、豊かに装備された文脈への拡張のための枠組みを提供する。