[论文解读] Differential Categories Revisited

Richard Blute, J.R.B. Cockett+2 more|arXiv (Cornell University)|Jun 13, 2018

Advanced Topics in Algebra参考文献 9被引用 6

一句话总结

本文在加法双代数模态的背景下，确立了两种微分概念——导出变换与余导子——的等价性，证明当存在张量代数余代数模态时，二者可互换使用。此外，本文还表明，微分范畴可由非张量代数余代数模态（如罗塔-巴克斯特代数所诱导的模态）生成，挑战了线性逻辑语境下仅张量代数结构支持微分结构的假设。

ABSTRACT

Differential categories were introduced to provide a minimal categorical doctrine for differential linear logic. Here we revisit the formalism and, in particular, examine the two different approaches to defining differentiation which were introduced. The basic approach used a deriving transformation, while a more refined approach, in the presence of a bialgebra modality, used a codereliction. The latter approach is particularly relevant to linear logic settings, where the coalgebra modality is monoidal and the Seely isomorphisms give rise to a bialgebra modality. Here, we prove that these apparently distinct notions of differentiation, in the presence of a monoidal coalgebra modality, are completely equivalent. Thus, for linear logic settings, there is only one notion of differentiation. This paper also presents a number of separating examples for coalgebra modalities including examples which are and are not monoidal, as well as examples which do and do not support differential structure. Of particular interest is the observation that -- somewhat counter-intuitively -- differential algebras never induce a differential category although they provide a monoidal coalgebra modality. On the other hand, Rota-Baxter algebras -- which are usually associated with integration -- provide an example of a differential category which has a non-monoidal coalgebra modality.

研究动机与目标

• 解决关于导出变换与余导子在微分范畴中是否代表不同微分概念的开放问题。
• 确立在张量代数余代数模态下，这两种形式化在范畴论上等价。
• 提供余代数模态的分离性例子——包括张量代数与非张量代数——以说明哪些支持微分结构，哪些不支持。
• 证明尽管微分代数提供了张量代数余代数模态，却无法诱导出微分范畴，从而反驳直观预期。
• 强调非张量代数余代数模态在微分范畴理论中的重要性，表明其并非仅属病态情形，而是具有数学重要性。

提出的方法

• 通过导出变换或余导子的形式化微分范畴，后者需依赖双代数模态。
• 引入‘加法双代数模态’作为中间结构，以证明导出变换与余导子之间的等价性。
• 利用西塞伊同构将张量代数余代数模态扩展至双积完备化，确保与有限双积兼容。
• 通过完备化过程，从加法双代数模态构造非加法双代数模态，从而生成新的微分范畴例子。
• 应用自由罗塔-巴克斯特代数构造，生成具有非张量代数余代数模态的微分范畴。
• 通过伴随关系与自然性，验证罗塔-巴克斯特设定下导出变换的链式法则及其他公理。

实验结果

研究问题

• RQ1 在张量代数余代数模态存在的情况下，导出变换与余导子是否等价？
• RQ2 能否从非张量代数余代数模态构造微分范畴？
• RQ3 为何微分代数即使提供了张量代数余代数模态，仍无法诱导出微分范畴？
• RQ4 西塞伊同构在将余代数模态扩展至双积完备化中起何种作用？
• RQ5 罗塔-巴克斯特代数是否提供了具有非张量代数余代数模态的微分范畴的有效例子？

主要发现

• 在张量代数余代数模态存在的情况下，导出变换与余导子等价，解决了微分范畴理论中的基础性模糊问题。
• 在模上构造的自由罗塔-巴克斯特代数诱导出具有非张量代数余代数模态的微分范畴，提供了新颖且反直觉的例子。
• 微分代数即使支持张量代数余代数模态，也无法生成微分范畴，表明模态本身不足以保证微分结构的存在。
• 在罗塔-巴克斯特设定下，导出变换的链式法则成立，通过伴随关系与自然性得到验证，确认了其微分结构的正确性。
• 可从加法双代数模态构造非加法双代数模态，从而生成具有非张量代数结构的新微分范畴例子。
• 本文表明，微分范畴的地理版图远超张量代数余代数模态的范围，强调了研究非张量代数情形的必要性。