[论文解读] A Tangent Category Alternative to the Faà di Bruno Construction

Jean-Simon Pacaud Lemay|arXiv (Cornell University)|May 4, 2018

Homotopy and Cohomology in Algebraic Topology被引用 4

一句话总结

本文利用切范畴理论提出了一种新的余自由笛卡尔微分范畴构造，用更简洁的函子性链式法则取代了复杂的 Faà di Bruno 公式。关键贡献是通过 D-序列定义了一个等价的余自由笛卡尔微分范畴结构，该结构借助切函子简化了复合与微分组合运算，为原始 Faà di Bruno 构造提供了一种更直观、更少组合学化的替代方案。

ABSTRACT

The Faà di Bruno construction, introduced by Cockett and Seely, constructs a comonad $\mathsf{Fa{\grave{a}}}$ whose coalgebras are precisely Cartesian differential categories. In other words, for a Cartesian left additive category $\mathbb{X}$, $\mathsf{Fa{\grave{a}}}(\mathbb{X})$ is the cofree Cartesian differential category over $\mathbb{X}$. Composition in these cofree Cartesian differential categories is based on the Faà di Bruno formula, and corresponds to composition of differential forms. This composition, however, is somewhat complex and difficult to work with. In this paper we provide an alternative construction of cofree Cartesian differential categories inspired by tangent categories. In particular, composition defined here is based on the fact that the chain rule for Cartesian differential categories can be expressed using the tangent functor, which simplifies the formulation of the higher order chain rule.

研究动机与目标

• 解决在定义余自由笛卡尔微分范畴时 Faà di Bruno 构造所导致的复杂性与组合学负担。
• 基于切范畴框架，开发一种余自由笛卡尔微分范畴的替代、更直观的构造方法。
• 通过切函子而非对称树与多项式系数来表达高阶链式法则，从而简化其表述。
• 通过引入预-D-序列，将构造推广至加法范畴之外，适用于具有有限积的任意范畴。
• 建立新构造与原始 Faà di Bruno 余单子之间的等价性，确保新结构保持普遍的余自由性质。

提出的方法

• 引入预-D-序列，作为具有有限积的范畴中广义的态射序列，构成新构造的基础。
• 将 D-序列定义为满足笛卡尔微分范畴中微分组合公理的预-D-序列的特殊子类。
• 利用切函子的作用定义 D-序列的复合，其中链式法则通过自然变换 T(fg) = T(f)T(g) 表达，从而简化高阶复合。
• 将微分组合子 D 定义为将 fn 映射到 fn+1 的移位操作，与笛卡尔微分范畴中的标准微分组合子一致。
• 利用切函子的自然性与积保持性，以避免使用对称树记号的方式定义微分组合子与复合运算。
• 证明由 D-序列构成的范畴是一个笛卡尔微分范畴，并通过余单子等价性与 Faà di Bruno 构造建立等价关系。

实验结果

研究问题

• RQ1 能否在不依赖 Faà di Bruno 公式复杂组合学结构的前提下，构造出余自由笛卡尔微分范畴？
• RQ2 笛卡尔微分范畴中的高阶链式法则能否通过切函子而非对称树来重新表述？
• RQ3 D-序列能否自然地推广至无加法结构的范畴，从而在更广泛的范畴论语境中实现微分？
• RQ4 新构造是否保持余自由的普遍性质，即是否与 Faà di Bruno 余单子等价？
• RQ5 能否通过切范畴结构而非多项式系数，更直观地定义微分组合子与复合运算？

主要发现

• 新构造通过 D-序列定义了一个余自由笛卡尔微分范畴，其在余单子余代数的意义下与 Faà di Bruno 构造等价。
• 新构造中的复合运算通过切函子的函子性定义，避免了对称树与多项式系数的使用。
• 微分组合子由一个简单的移位操作给出，且 D-序列的线性性可通过 f• = i•·f0 来刻画。
• 通过预-D-序列，该构造可推广至具有有限积的任意范畴，从而在非加法设定中实现微分。
• D-序列的范畴构成一个笛卡尔微分范畴，且由此产生的余单子与 Faà di Bruno 余单子等价，保持了普遍的余自由性质。
• 本文表明，切函子为高阶链式法则提供了更清晰、更具结构性的表述，从而取代了组合学的 Faà di Bruno 公式。