[论文解读] On the duality between trees and disks

David Oury|arXiv (Cornell University)|Feb 14, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 23

一句话总结

本文通过多种等价的范畴论框架，建立了圆盘范畴与Θ范畴之间的双重等价性，引入了带标签的树作为新的组合模型。它通过重新诠释圆盘和Θ范畴中的树、序数和区间，提供了乔yal对偶性的概念性归纳证明，关键结果表明带标签的树范畴与归纳定义的结构之间存在等价性。

ABSTRACT

A combinatorial category Disks was introduced by André Joyal to play a role in his definition of weak omega-category. He defined the category Theta to be dual to Disks. In the ensuing literature, a more concrete description of Theta was provided. In this paper we provide another proof of the dual equivalence and introduce various categories equivalent to Disk or Theta, each providing a helpful viewpoint. In this second version the paper's contents have been reorganized with the goal of a more readable presentation. We define augmented categories and their reduced counterparts (which lack a single trivial object of the augmented category). These augmented categories are more suitable for inductive arguments and their reduced counterparts are equivalent to Disk and Theta. The equivalence between Disk and Theta is demonstrated in Sections 4 and 6 using categories inductively defined (in Section 3) from intervals and ordinals. The last two sections take a more categorical perspective, constructing categories of so-called labeled trees and showing that they are equivalent to their inductively defined counterparts, and so to Disk and Theta. The distinction between augmented and reduced categories corrects an error in the first version where the terminal tree was included in the category Disk.

研究动机与目标

• 通过归纳和范畴论方法，为乔yal的圆盘范畴与Θ范畴之间的对偶性提供一种新的概念性证明。
• 引入并形式化等价的范畴模型——特别是带标签的树和序数图——以阐明圆盘和Θ的结构。
• 证明一个胞腔基数上的自由ω-范畴同其对应序数图上的自由ω-范畴同构，从而加强范畴等价性。
• 建立归纳定义的范畴（如$i\tilde{\nabla}$, $i\tilde{\nabla}$）与基于树的模型（$t\tilde{\nabla}$, $t\tilde{\nabla}$）之间的等价性，为乔yal的构造提供新视角。
• 通过证明带标签的树可作为有限族构造在范畴论中的自然、结构化的替代品，统一并推广对Θ和Disk的现有描述。

提出的方法

• 通过序数映射的左、右伴随，建立序数与区间之间的对偶性，确立$Ord$中的基础对偶性。
• 分别从$\tilde{\nabla}_{+}$和$\tilde{\nabla}_{+}$出发，通过初始对象和归纳极限，构造归纳定义的范畴$i\tilde{\nabla}_{+}$和$i\tilde{\nabla}_{+}$。
• 引入带标签的树（$t\tilde{\nabla}_{+}$, $t\tilde{\nabla}_{+}$），其中顶点标记为区间或序数，且态射通过余积和包含关系保持结构。
• 利用余积和包含关系的联合满射性，建立$i\tilde{\nabla}_{+}$与$t\tilde{\nabla}_{+}$之间，以及$i\tilde{\nabla}_{+}$与$t\tilde{\nabla}_{+}$之间的同构。
• 通过在带标签的树和序数图上使用限制和悬垂操作，实现归纳推理，并在范畴之间构造函子。
• 利用有限余积和积完备化函子（$Fam_{\text{Σ}}$, $Fam_{\text{Π}}$），将基于树的模型与乔yal的原始构造联系起来，表明$t\tilde{\nabla}$和$t\tilde{\nabla}$是这些完备化的修改版本。

实验结果

研究问题

• RQ1 如何通过概念性、归纳性的方法重新证明乔yal关于圆盘范畴与Θ范畴之间的对偶性？
• RQ2 与乔yal的$Disk$和$\Theta$等价的范畴结构是什么？它们如何为弱$\omega$-范畴提供新见解？
• RQ3 带标签的树（以区间或序数为顶点标签）能否分别作为$Disk$和$\Theta$的组合模型？若能，它们与归纳构造之间有何关系？
• RQ4 限制和悬垂操作在关联胞腔基数、序数图和带标签的树中起什么作用？
• RQ5 在$i\tilde{\nabla}_{+}$与$t\tilde{\nabla}_{+}$之间，以及$i\tilde{\nabla}_{+}$与$t\tilde{\nabla}_{+}$之间的等价性，如何支持$Disk$与$\Theta$之间的对偶性？

主要发现

• 带区间标签顶点的带标签树范畴$t\tilde{\nabla}$与乔yal的范畴$Disk$等价，为圆盘提供了新的组合模型。
• 带序数标签顶点的带标签树范畴$t\tilde{\nabla}$与范畴$\Theta$等价，为乔yal的$\Theta$提供了基于树的解释。
• 归纳定义的范畴$i\tilde{\nabla}_{+}$与$t\tilde{\nabla}_{+}$等价，$i\tilde{\nabla}_{+}$与$t\tilde{\nabla}_{+}$等价，其等价性通过余积和包含关系的联合满射性得以证明。
• $\Xi_{\Delta}: t\tilde{\nabla}_{+} \to i\tilde{\nabla}_{+}$函子是全忠实且本质满射的，因此是范畴等价。
• 一个胞腔基数上的自由$\omega$-范畴同其对应序数图上的自由$\omega$-范畴同构，确认了各模型之间的一致性。
• 通过其增强版本之间的等价性，缩减后的范畴$t\tilde{\nabla}$和$t\tilde{\nabla}$分别与$Disk$和$\Theta$等价。