[論文レビュー] Compositories and Gleaves

Cecilia Flori, T. A. Fritz|arXiv (Cornell University)|Aug 29, 2013

Advanced Algebra and Logic被引用数 7

ひとこと要約

本稿では、局所的セクションの整合性を保つために標準的な貼り合わせ演算を備えたプレシェーブ（presheaf）である「gleaves」を導入し、計量や連携確率分布のような非局所的またはグローバルな幾何的情報を含む数学的構造をモデル化する。さらに、単体圏Δ上のgleavesとして定義される「compositories」を導入し、元の射を面として回復可能な高階圏の一般化を提供する。この構造は、圏のネbsや高階スパンへの応用を含む。

ABSTRACT

Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the theory of "gleaves", which are presheaves equipped with an additional "gluing operation" of compatible pairs of local sections. This generalizes the conditional product structures of Dawid and Studený, which correspond to gleaves on distributive lattices. Our examples include the gleaf of metric spaces and the gleaf of joint probability distributions. A result of Johnstone shows that a category of gleaves can have a subobject classifier despite not being cartesian closed. Gleaves over the simplex category $Δ$, which we call compositories, can be interpreted as a new kind of higher category in which the composition of an $m$-morphism and an $n$-morphism along a common $k$-morphism face results in an $(m+n-k)$-morphism. The distinctive feature of this composition operation is that the original morphisms can be recovered from the composite morphism as initial and final faces. Examples of compositories include nerves of categories and compositories of higher spans.

研究の動機と目的

• シーヴが計量空間や確率分布のようなグローバルな幾何的情報を捉えることができないという限界を克服すること。
• 局所的セクションの整合性を保つ標準的な貼り合わせ演算を備えた、プレシェーブに類似した新たな構造「gleaves」を形式化すること。
• 単体圏Δ上のgleavesとして定義される「compositories」を導入し、元の射が合成されたものから面として回復可能な高階圏の新しい合成演算を導入すること。
• これらの構造の圏論的および普遍的性質を調査し、特にカルテシアン閉ではない場合でも部分対象分類子を備える可能性を検討すること。
• gleavesと豊密化圏、ファイバー圏、スケッチモデルとの関係を調査し、非局所的幾何的・確率的構造のためのより広範な圏論的基盤を構築することを目的とする。

提案手法

• 局所的セクションの整合性を保つ貼り合わせ演算を備えた、双被覆構造を持つ圏上のプレシェーブとして「gleaves」を導入。この貼り合わせ演算により、整合性のある局所的セクションがグローバルなセクションに統合される。
• 単体圏Δ上のgleavesとして「compositories」を定義。m-次元およびn-次元の射が共通のk-次元面に沿って合成されると、(m+n−k)-次元の射が得られ、元の射は初期および終端の面として回復可能となる。
• 理論を具体例に適用：計量のgleaf（下界経路拡張を用い）、連携確率分布のgleaf（Vorob’evの定理を応用）、リレーショナルデータベース。
• Johnstoneの結果（カルテシアン閉ではない圏における部分対象分類子の存在）を用い、gleavesの圏が論理的構造を備える可能性を示す。
• gleavesとラックスモノイダル関手との関係を確立し、貼り合わせ演算の普遍的性質（例：計量空間における最小性）を検討。
• 双被覆を持つ小さい圏上のgleavesについて、スケッチ的モデルを提案。これは構造の圏論的公理化の可能性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、シーヴでは捉えきれない非局所的幾何的または確率的情報を含む数学的構造を形式化できるか？
• RQ2 「gleaf」（整合性のある局所的セクションの標準的貼り合わせ演算を備えたプレシェーブ）の圏論的構造は何か？ そして、シーヴやスタックの一般化としてどのように機能するか？
• RQ3 元の射が合成されたものから面として回復可能な形で、高階圏における射の合成をcompositoriesによって一般化できるか？
• RQ4 計量や確率分布の例における貼り合わせ演算は、最小性や初期性といった普遍的性質を備えているか？
• RQ5 ファイバー圏や豊密化圏は「gleaf」とどのように関係するか？ また、gleaf構造はこのような圏論的枠組みから導出可能か？

主な発見

• 集合X上の計量のgleafは、下界経路計量を用いた標準的な貼り合わせ演算により、プレシェーブとして正しく定義される。この計量は、計量の点ごとの順序に関して最小性を満たす。
• 連携確率分布に関しては、gleaf構造により、整合性のある2変量周辺分布が3変量分布に一貫して拡張可能である条件が特定され、Vorob’evの定理が一般化される。
• Δ上のcompositoriesは、m-次元およびn-次元の射が共通のk-次元面に沿って合成されると、(m+n−k)-次元の射が得られるという新しい高階圏的枠組みを提供する。元の射は初期および終端の面として回復可能である。
• gleavesの圏はカルテシアン閉ではない場合でも、部分対象分類子を備える可能性がある。Johnstoneの結果により、gleavesは内部論理を備えることが示唆される。
• 計量空間のgleafにおける貼り合わせ演算は普遍的性質を備える：与えられた整合性のある局所的計量を拡張する最小の計量を生成する。これは圏論的最小性条件を示唆する。
• 本稿では、双被覆を持つ小さい圏上のgleafが、スケッチの集合論的モデルとして記述可能であることを確立した。これは、構造の公理的記述の可能性を示唆する。