差分2-rigs
摘要：微分2-挺杆的研究，一种具有余积和满足单义性质的单性结构的范畴R，还装备了一个函子D : R -> R，满足Leibniz规则的分类化类比。这被视为将这些范畴应用于计算机科学、代数拓扑和计数组合学的各种应用统一起来的工具。微分2-挺杆理论具有几何风味，但归结为关于自函子的张量强度理论的特定情形；这建立了一种看似无相关的领域之间的惊人联系。我们构建了一个关于签名的“自由2-挺杆”，并证明了各种初始结果：例如，某种有色物种的范畴是单一发生器上的自由微分2-挺杆。
作者：Fosco Loregian (Tallinn University of Technology), Todd Trimble (Western Connecticut State University)
论文ID：2103.00938
分类：Category Theory
分类简称：math.CT
提交时间：2023-08-01