2025-11-15T04:07:11.766494

Instances of models of double-categorical theories

Carlson, Patterson
We contribute a chapter in common to categorical database theory and to the study of higher morphisms between double categories. The common thread here is the notion of instance, or right module, which we generalize from functors from a plain category into Set to the models of a (cartesian) double theory. This provides a concept of instance for such objects as a category equipped with a monad, or a (symmetric) multicategory, recovering the multifunctors into Set in the latter case. We also show that instances of models are equivalent to an appropriate concept of discrete opfibration over that model, not recoverable as the representable discrete opfibrations in the 2-category of models. Finally, we give comprehensive factorization systems with these discrete opfibrations as the right class.
academic

二重圏論の模型のインスタンス

基本情報

  • 論文ID: 2510.08861
  • タイトル: Instances of models of double-categorical theories
  • 著者: Kevin Carlson, Evan Patterson (Topos Institute)
  • 分類: math.CT (圏論)
  • 提出日時: 2025年10月9日
  • 論文リンク: https://arxiv.org/abs/2510.08861

要旨

本論文は、分類データベース理論と二重圏間の高階射に関する研究に共同で貢献している。共通の主題は、インスタンス(instance)または右加群の概念であり、著者はこれを通常の圏からSetへの関手から(デカルト)二重理論の模型へと一般化する。これは単子を持つ圏または(対称)多圏などの対象にインスタンス概念を提供し、後者の場合にはSetへの多関手を復元する。著者はまた、模型のインスタンスが当該模型上の離散上ファイブレーションの適切な概念と同値であることを証明し、これは模型の2-圏における表現可能な離散上ファイブレーションとして復元することはできない。最後に、これらの離散上ファイブレーションを右類とする総合分解系を与える。

研究背景と動機

問題背景

  1. 二重圏論の発展の必要性: 現代の弱二重圏論はParéとGrandisの協力に始まり、その「主要な思想」は、過度に緩い(profunctors、spans、関係など)または過度に厳密(随伴など)で極限を持たない矢を擬二重圏で研究し、より通常の(水平)矢と関連付けることである。
  2. 分類データベース理論の要求: SpivakとKentが分類データベース理論を開拓し、小圏Cを本体論またはデータベーススキーマとして、具体的なデータベースをC-setとして見なした。この思想は応用圏論に拡張され、代数データベースとattributed C-setsを含む。
  3. ソフトウェア応用の推進: 著者がTopos Instituteで開発したCatColabアプリケーションはParéの緩い二重関手のSpanへの理論に基づき、小二重圏を二重(Lawvere)理論として解釈し、構造を保つ緩い関手を理論の模型として解釈する。

核心的問題

従来のインスタンス概念(例えば、C-setsが加群I 7→ Cに対応する)は、一般的な二重理論では直接一般化できない。Xが非自明なproarrowsを認める二重理論の模型である場合、模型1は模型の緊射に関して終端的であるが、十分に豊かであり、加群の左側で非自明に作用することができる。

研究動機

二重理論の模型の正しいインスタンス概念を見つける必要があり、それは以下を可能にする:

  1. 通常の圏のcopresheaf概念を一般化する
  2. 単子を持つ圏、多圏などの複雑な構造に適用可能
  3. 多圏の場合にSetへの多関手を復元する
  4. 離散上ファイブレーションとの同値性を提供する

核心的貢献

  1. 二重理論の模型のインスタンス概念を定義: 通常の圏から一般的な二重理論へのインスタンス概念を一般化し、「Iが左側で自明に作用する」ことを要求することで技術的困難を解決する。
  2. インスタンスのpresheaf型表現を確立: 任意の模型Xのインスタンス圏が関手κ(X) → Setの圏と同値であることを証明し、ここでκ(X)はXの「collage」である。
  3. インスタンスと離散上ファイブレーションの同値性を確立: 主定理は模型のインスタンスと当該模型上の離散上ファイブレーション間の同値性を証明し、圏上のcopresheavesと離散上ファイブレーションの古典的同値性を一般化する。
  4. 総合分解系を構成: 模型圏の局所表現可能性を利用して、離散上ファイブレーションを右類とする総合分解系を構成する。
  5. デカルト情形への一般化: すべての結果をデカルト二重理論に一般化し、Lawvere理論と対称多圏などの重要な例を含む。

方法の詳細

タスク定義

本論文の研究の核心的タスクは、二重理論Dの模型Xに対して適切なインスタンス概念を定義することであり、以下を満たす:

  • 通常の圏のcopresheaf概念を一般化する
  • 離散上ファイブレーション概念と同値である
  • presheaf型の圏を形成する

インスタンスの定義

初期定義(Definition 2.1)

Dを二重理論、Eを終対象Iを持つ二重圏とする。Dはeで終模型Iを持つ。模型Xのインスタンスは加群H: I 7→ Xであり、「Iが左側で自明に作用する」を満たす、すなわち以下の形式のすべてのlaxatorが恒等である:

I    I    X(z)
 \   |   /
  \  |  /
   \ | /
I ---+--- X(z)

簡略化定義(Definition 2.3)

構造の簡略化を経て、インスタンスHは以下のデータから構成される:

  • 各対象d∈Dに対して、proarrow Hd: I 7→ Xd
  • 各緊射f: d→d'に対して、セル Hf
  • 各proarrow m: d 7→ d'に対して、作用セル Hm

関手性、自然性、結合性および単位性公理を満たす。

Collage構成(Construction 2.7)

span値模型X: D → Spanに対して、そのcollage κ(X)を圏として定義する:

  • 対象: 各d∈DおよびX(d)に対して、対象xを得る
  • 射: 緊射と緩い射により生成される
  • 関係: 合成、自然性などを保つ

離散上ファイブレーション

定義(Definition 3.2)

模型射p: E → Bは離散上ファイブレーションであり、各proarrow m: x 7→ yに対して、四角形

⊤(Em) → Ex
  ↓      ↓
⊤(Bm) → Bx

が引き戻しである場合。

主要な同値性定理

Theorem 3.7

同値∇: Dopf(B) ⇄ Inst(B): ∫が存在し、ここで:

  • Dopf(B)はB上の離散上ファイブレーション圏
  • Inst(B)はBのインスタンス圏
  • ∫Hはインスタンスhの要素模型と呼ばれる

技術的革新点

1. インスタンス概念の一般化

「左側で自明に作用する」条件により、一般的な二重理論におけるインスタンス定義の技術的困難を巧妙に解決し、非自明なproarrowsの場合の直接的な一般化の問題を回避する。

2. Collage構成の革新

κ構成は二重圏構造を通常の圏に「平坦化」する系統的方法を提供し、古典的なpresheaf理論を利用することを可能にする。

3. 離散上ファイブレーション概念の一般化

古典的な離散上ファイブレーション概念を二重理論の模型に一般化し、各proarrowで引き戻し条件を満たすことを要求する。

4. 総合分解系

局所表現可能性を利用して構成された分解系は、模型射を研究するための強力なツールを提供する。

実験設定

理論検証

本論文は主に純粋数学の理論的研究であり、以下の方法で理論の正当性を検証する:

主要な例の検証

  1. 圏のインスタンス: 終端二重理論の場合に古典的なC-setsを復元することを検証
  2. 単子のインスタンス: 単子T: X → Xを持つ圏のインスタンスがX-sets Hおよび自然変換Hη: H → H∘Tであることを証明
  3. 多圏のインスタンス: デカルト情形で多圏からSetへの多関手を復元

構成の検証

詳細な図表追跡と公理検証により以下を証明:

  • κ構成の関手性
  • 同値∇と∫の相互逆性
  • 分解系の直交性

実験結果

主要な結果

Proposition 2.8

単純二重理論の模型X: D → Spanに対して、インスタンス圏Inst(X)は関手圏Cat(κX, Set)と同値である。

Theorem 3.7 (主定理)

単純二重理論Dの模型Bを固定すると、同値 ∇: Dopf(B) ⇄ Inst(B): ∫ がB上の離散上ファイブレーション圏とBのインスタンス圏の間に存在する。

Proposition A.2

単純二重理論Dの模型圏Lax(D, Span)は局所表現可能である。

一般化結果

Theorem 4.5

デカルト二重理論に対して、同値性はデカルトインスタンスとデカルト離散上ファイブレーション間の同値性に制限される。

Corollary 4.6

デカルト模型圏は離散上ファイブレーションを右類とする直交分解系を持つ。

応用結果

具体的な例を通じて理論の適用可能性を検証:

  • 多圏インスタンスが多関手M → Setを復元
  • 代数profunctorsがmodal理論のインスタンスとして機能
  • 対称および余デカルト多圏の統一的処理

関連研究

二重圏論の基礎

  • ParéとGrandisの弱二重圏論
  • Paréの二重圏Yoneda理論と加群概念
  • CruttwellとShulmanの一般化多圏仮想装備

分類データベース理論

  • SpivakとKentの開拓的研究
  • Pattersonらのattributed C-sets
  • Schultzらの代数データベース

上ファイブレーション理論

  • StreetとWaltersの総合分解系
  • RiehlとVerityの∞-cosmosにおける初期関手
  • 2-圏における表現可能な離散上ファイブレーションの一般理論

結論と議論

主要な結論

  1. インスタンス概念を一般的な二重理論の模型へ成功裏に一般化
  2. インスタンスと離散上ファイブレーション間の基本的同値性を確立
  3. 二重理論の模型射を研究するための総合的枠組みを提供
  4. CatColabなどの応用ソフトウェアに理論的基礎を提供

制限事項

  1. κ構成は全射でも忠実でも保守的でもなく、Lax(D, Span)の性質の研究における用途を制限する
  2. インスタンス圏は模型のほぼすべてのデータに依存しない
  3. 現在はSpan値模型に主に焦点を当てており、他の場合はさらなる研究が必要

将来の方向

  1. Modal理論: 論文はmodal仮想二重理論を非単純二重Lawvere理論をコード化するより便利な基礎として予告している
  2. 仮想装備: 理論を仮想装備設定に一般化することを検討
  3. 高階構造: より高階の二重圏構造とそのインスタンス理論を研究

深い評価

利点

  1. 理論的革新性が強い: 二重理論の模型インスタンス定義における技術的困難を成功裏に解決
  2. 構造が完全: 定義から主要な同値性定理から応用例まで、完全な理論体系を形成
  3. 技術的深さ: 二重圏論、上ファイブレーション理論、局所表現可能性など複数の深層技術を含む
  4. 応用価値: 分類データベース理論と形式建模ソフトウェアに堅実な理論的基礎を提供

不足

  1. 技術的敷居が高い: 深い圏論の背景を必要とし、読者層を制限する
  2. κ構成の制限: κが全射でも忠実でもない制限を認め、特定の応用に影響を与える可能性
  3. 例が相対的に少ない: 重要な例があるが、より多くの具体的応用シナリオの提示が必要な可能性

影響力

  1. 理論的貢献: 二重圏論と分類データベース理論の交差研究に新しい方向を開く
  2. 実用価値: CatColabなどの科学建模ソフトウェアの開発を直接支援
  3. 再現可能性: 数学的証明が詳細で、理論的結果は検証可能

適用シナリオ

  1. 形式科学建模ソフトウェア開発
  2. 分類データベース理論研究
  3. 二重圏論のさらなる発展
  4. 一般化多圏とoperads理論の応用

参考文献

本論文は51篇の重要な文献を引用し、以下を含む:

  • 二重圏論基礎文献(Grandis & Paré, Verityなど)
  • 分類データベース理論(Spivak & Kentなど)
  • 局所表現可能圏論(Adámek & Rosickýなど)
  • 上ファイブレーションと分解系理論(Street & Waltersなど)

本論文は二重圏論と分類データベース理論の交差領域における重要な理論的貢献であり、二重理論の模型を理解し応用するための新しい視点とツールを提供する。その技術的深さと理論的完全性により、本論文は当該分野の重要な参考文献となっている。