笛卡尔一致微分范畴
摘要：在广义笛卡尔范畴上扩展了最近由Ehrhard在线性逻辑范畴模型中引入的连续分化思想。第一个要素是一种可加性结构，它在范畴上引入了部分左可加性结构。对这种可加性结构的额外函子性和自然性假设实现了一种微分公式，该公式也可以在Blute、Cockett和Seely的笛卡尔微分范畴的形式化中呈现。我们证明，一个简单的术语语言配备有自然的微分概念可以很容易地解释在这样的一个范畴中。
作者：Thomas Ehrhard (IRIF (UMR\_8243)), Aymeric Walch (IRIF (UMR\_8243))
论文ID：2303.06952
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-08