[论文解读] Differential restriction categories

J.R.B. Cockett, G. S. H. Cruttwell+1 more|arXiv (Cornell University)|Aug 20, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用 21

一句话总结

本文引入微分限制范畴（differential restriction categories），一种代数框架，统一了笛卡尔微分范畴与限制范畴，用于在 R^n 的开子集上建模部分光滑映射。它证明了微分结构可通过并集完备化（join completion）与经典完备化（classical completion）被提升，表明即使在某一点处定义的函数芽（如仅在单点有定义的函数）也能携带行为良好的微分，从而以纯粹代数方式将微分学扩展至部分映射与局部映射。

ABSTRACT

We combine two recent ideas: cartesian differential categories, and restriction categories. The result is a new structure which axiomatizes the category of smooth maps defined on open subsets of $\R^n$ in a way that is completely algebraic. We also give other models for the resulting structure, discuss what it means for a partial map to be additive or linear, and show that differential restriction structure can be lifted through various completion operations.

研究动机与目标

• 以代数公理化方式形式化范畴论框架，用于描述定义在 R^n 开子集上的部分光滑映射，例如具有孤立奇点的光滑函数。
• 将笛卡尔微分范畴与限制范畴统一为一种新结构，捕捉微分与部分性之代数本质。
• 在部分映射的语境下定义并刻画可加、线性及强可加映射。
• 证明微分结构在完备化操作下保持不变，特别是并集完备化与经典完备化。
• 证明即使在局部或仅在一点定义的映射（即函数芽）也可在此框架中被有意义地微分。

提出的方法

• 将微分限制范畴引入为笛卡尔微分范畴与限制范畴的结合，包含微分、限制及其相互作用的公理。
• 定义左可加限制范畴，并利用相容映射的并（joins）来建模部分性与相容性。
• 应用并集完备化构造，自由添加相容部分映射的并，证明微分结构可被提升至完备化后的范畴。
• 应用经典完备化构造，允许在限制范畴中进行经典推理，通过函数芽证明微分结构可被提升。
• 利用分式单子（fractional monad）与有理函数构造理论模型，尤其在弱环（weak rigs）中处理非分配性分式构造。
• 证明微分限制范畴的经典完备化仍为微分限制范畴，通过证明点处函数芽继承了良好定义的导数。

实验结果

研究问题

• RQ1 是否能为定义在 R^n 开子集上的部分映射（如具有孤立奇点的光滑函数）代数化微分学？
• RQ2 在范畴论语境下，可加性与线性概念如何有意义地推广至部分映射？
• RQ3 微分结构是否能通过并集完备化（自由添加相容部分映射的并）被保持？
• RQ4 微分结构是否能在限制范畴的经典完备化下被保持，从而允许对定义在闭集或芽上的映射进行经典推理？
• RQ5 仅在一点或闭集上定义的函数的微分的范畴与代数性质为何？其与芽的关系如何？

主要发现

• 微分限制范畴的经典完备化仍是微分限制范畴，表明微分结构与关于部分映射的经典推理相容。
• 微分结构可通过并集完备化被提升，保持相容部分映射的并，并确保导数与并运算可交换。
• 仅在某一点定义的映射（如 f(x) = 2x 在 x = 5 处）可解释为芽，其微分在此框架中定义良好。
• 通过分式单子构造有理函数，为理论提供了模型，但需在弱环中工作，因分式构造不满足分配律。
• 从微分限制范畴到其经典完备化的单位函子保持可加性、强可加性与线性性，确保完备化过程中的结构一致性。
• 该理论为具有部分性与资源敏感计算的单纯类型微分 λ-演算提供了语义基础。