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

Instances of models of double-categorical theories

基本信息

  • 论文ID: 2510.08861
  • 标题: Instances of models of double-categorical theories
  • 作者: Kevin Carlson, Evan Patterson (Topos Institute)
  • 分类: math.CT (Category Theory)
  • 提交时间: 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∈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的∞-cosmoi中的初始函子
  • 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等）

本文是双范畴理论和分类数据库理论交叉领域的重要理论贡献，为理解和应用双理论模型提供了新的视角和工具。其技术深度和理论完整性使其成为该领域的重要参考文献。