[論文レビュー] Tight spans, Isbell completions and semi-tropical modules

Simon Willerton|arXiv (Cornell University)|Feb 18, 2013

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

ひとこと要約

この論文は、一般化された距離空間のIsbell完備化と Hirai と Koichi の指向的タイトスパンの間の圏論的同値性を確立し、Isbell完備化が豊広圏論的意味での完全かつコ完全であることを示している。さらに、Isbell完備化が二種類の異なる半トロピカル加群構造を有することを示し、圏論的完全性とトロピカル代数的構造を結びつけている。

ABSTRACT

In this paper we consider the categorical Isbell completion construction for generalized metric spaces in the sense of Lawvere. We show that this is an analogue of the tight span construction of classical metric spaces, and that the Isbell completion coincides with the directed tight span of Hirai and Koichi. The notions of categorical completion and cocompletion are related to the existence of semi-tropical module structure, and it is shown that the Isbell completion (hence the directed tight span) has two different semi-tropical module structures.

研究の動機と目的

• 豊広圏論の視点から距離空間におけるタイトスパン構成を理解すること。
• 一般化された距離空間に対してIsbellの完備化構成を用いてタイトスパンの圏論的類似を確立すること。
• 圏論的完全性（極限と余極限）と半トロピカル加群構造との関係を調査すること。
• Isbell完備化が完全かつコ完全であり、したがって半トロピカル加群作用を支持することを示すこと。
• 古典的な距離空間の構成と、特に重み付き極限と余極限の文脈における豊広圏論的道具を統合すること。

提案手法

• 距離が非負の拡張実数（対称性なし）である[0,∞]-豊広圏として一般化された距離空間を形式化する。
• X 上の前層と余コ前層の間のIsbell随伴の固定集合として、Isbell完備化 I(X) を定義する。
• I(X) の点を、duality 条件 f(x) + g(y) ≥ d(x,y) および f(x) + g(x) ≥ 0 を満たす関数 f,g: X→[0,∞] のペア (f,g) として表現する。
• X から前層圏 X̂ へのYoneda埋め込み Y: X → X̂ を用い、X̂ → I(X) への再び射影 RL を構成する。
• 豊広圏論における重み付き極限と余極限を用いて、圏論的完全性とコ完全性を定義する。
• 一方の構造が他方の双対であるように、Isbell完備化が余コ前層空間への作用を通じて半トロピカル加群構造を引き継ぐことを示す。

実験結果

リサーチクエスチョン

• RQ1 一般化された距離空間のIsbell完備化は、古典的なタイトスパン構成とどのように関係しているか？
• RQ2 豊広圏における完全性とコ完全性という圏論的概念は、半トロピカル代数的構造と結びつけられるか？
• RQ3 一般化された距離空間のIsbell完備化は半トロピカル加群構造を有するか？もし有するならば、何種類存在するか？
• RQ4 重み付き余極限と極限は、Isbell完備化を二重完備化として特徴付ける役割を果たすか？
• RQ5 Yoneda埋め込みは、Isbell完備化の文脈において、圏論的連続性とコ連続性とどのように関係するか？

主な発見

• 一般化された距離空間 X の Isbell完備化 I(X) は、Hirai と Koichi の指向的タイトスパンと等長である。これは、圏論的同値性を確立する。
• Isbell完備化は豊広圏論的意味で完全かつコ完全であり、すべての重み付き極限と余極限が存在する。
• Yoneda埋め込み X → I(X) は連続かつコ連続であり、I(X) が X の二重完備化であることを確認する。
• Isbell完備化は二種類の異なる半トロピカル加群構造を有する：一つは前層側から、もう一つは余コ前層側から。
• I(X) 上の距離的半トロピカル作用は、余コ前層空間への半トロピカル半環の作用から生じる。
• スケルトン的（skeletal）な一般化された距離空間に対しては、有限完全性は距離的半トロピカル加群構造の存在と同値である。