笛卡尔微分余单子与笛卡尔微分范畴的新模型
摘要：笛卡儿微分范畴提供了一个微分组合器，它形式化了多变量微分计算中的导数，并提供了微分$lambda$-演算的范畴语义。笛卡儿微分范畴的一个重要示例来源是差分范畴的共Kleisli范畴，而后者提供了微分线性逻辑的范畴语义。在本文中，我们通过引入笛卡儿微分共Kleidls，将该构造推广到笛卡儿微分共Kleisli范畴，从而允许更多种类的笛卡儿微分范畴的示例。因此，我们基于幂级数、分裂幂代数和Zinbiel代数构造了来自笛卡儿微分共Kleidls的新的笛卡儿微分范畴的示例。
作者：Sacha Ikonicoff and Jean-Simon Pacaud Lemay
论文ID：2108.04304
分类：Category Theory
分类简称：math.CT
提交时间：2023-01-24