[论文解读] Partial Linearity in Categories

Roy Ferguson, Zurab Janelidze|arXiv (Cornell University)|Jan 20, 2026

Homotopy and Cohomology in Algebraic Topology被引用 0

一句话总结

本文通过变换器将单合成与积的结构联系起来，在范畴中引入部分线性，并证明一致性定理：从 n 次求和到 n 次积的规范态射具有单位矩阵表示；同时在该设定下推广中心态射。

ABSTRACT

In this paper we study partial linearity in a category by replacing isomorphism between coproducts and products in a linear category with isomorphism between suitable monoidal structures on a category. The main results a coherence theorem and a generalization of the theory of central morphisms from unital categories to our context of partial linearity

研究动机与目标

• 通过用同构替代余丑与积的同构，将范畴上的单元尺子替换成单位元与联合覆盖的同态定义部分线性以将其引入。
• 为从 n 次求和到 n 次积的规范态射开发一致性框架。
• 将无单位范畴中的中心态射概念推广到部分线性范畴。
• 表征当一个前线性范畴通过中心态射及加法结构变为线性时的条件。

提出的方法

• 定义带初始单位且联合满射的和结构。
• 引入态射上的覆盖关系，并使用关于和-积构成的词的一致性。
• 将部分线性化器定义为从和到积的自然变换，并研究它们的矩阵表示。
• 证明线性化器（同构 i: ⊕ → ⊗）给出完全一致性：同长度的任何 ⊕–⊗ 词都存在规范同构。
• 发展单位-消去态射以及一个规范矩阵框架，用以分析和与积之间的态射。
• 表征中心态射及其加法，以把部分线性与完全线性联系起来。

实验结果

研究问题

• RQ1 何时自然变换从和到积可以成为变换器，它的矩阵形式是什么？
• RQ2 在什么条件下通过中心态射及其加法结构，前线性范畴会变为线性？
• RQ3 在部分线性设置下，n 次求和与 n 次积的一致性如何表现？
• RQ4 单位消去在确保规范态射按预期行为中起什么作用？

主要发现

• 若存在这样的自然变换 i: ⊕ → ⊗，则范畴必定是指向性的。
• 当且仅当某些图可换时，变换器 i 与和、积结构兼容，从而导致态射的矩阵分解。
• 若中心态射在任意两对象之间形成可加的交换单元积，则前线性范畴变为线性。
• 在具有线性化器 i 的前线性范畴中，同长度的任意两条 ⊕–⊗ 词都存在唯一同构的规范同构。
• 相对于 ⊕ 与 ⊗ 的规范态射可以分解为基本的规范态射，从而实现所有 n 次构造的一致性结果。
• 对于任意 n 次求和到任意 n 次积存在唯一的规范态射，其矩阵表示为单位矩阵。