[论文解读] Closedness properties of internal relations IV: Expressing additivity of a category via subtractivity

Zurab Janelidze|ArXiv.org|Oct 3, 2006

Advanced Algebra and Logic参考文献 9被引用 7

一句话总结

该论文证明：一个具有有限极限、二元和与通过单射与满射因子化的 pointed 分类，当且仅当该分类及其对偶分类均为可减的，其为加法分类。关键贡献在于通过可减性对加法性进行范畴化表征，将 Ursini 的可减种类概念推广至抽象分类，并表明当且仅当一个分类及其对偶均满足可减性条件时，阿贝尔分类才会出现。

ABSTRACT

The notion of a subtractive category, recently introduced by the author, is a ``categorical version'' of the notion of a (pointed) subtractive variety of universal algebras, due to A. Ursini. We show that a subtractive variety $\C$, whose theory contains a unique constant, is abelian (i.e. $\C$ is the variety of modules over a fixed ring), if and only if the dual category $\C^\mathrm{op}$ of $\C$, is subtractive. More generally, we show that $\C$ is additive if and only if both $\C$ and $\C^\mathrm{op}$ are subtractive, where $\C$ is an arbitrary finitely complete pointed category, with binary sums, and such that each morphism $f$ in $\C$ can be presented as a composite $f=me$, where $m$ is a monomorphism and $e$ is an epimorphism.

研究动机与目标

• 将可减种类的概念从普遍代数推广至抽象 pointed 分类。
• 表征一个具有有限极限、二元和与通过单射与满射因子化的 pointed 分类何时为加法分类。
• 通过可减分类的概念，建立基于对偶性的加法性判别准则。
• 证明一个 Barr 完全分类是阿贝尔分类当且仅当其本身及其对偶均为可减的。
• 通过范畴论对偶性，统一范畴论与普遍代数中关于可减性与加法性的概念。

提出的方法

• 使用可减分类的定义：对任意子对象 r: R → A×A，若 (a,a) 和 (a,0) 属于 R，则 (0,a) 也必须属于 R。
• 应用该分类具有有限极限和二元和，且每个态射可分解为单射与满射的复合的条件。
• 利用分类与其对偶分类之间的对偶性，关联 C 与 C^op 的可减性。
• 构造一个三元关系 R′ ⊆ A³，定义为：(a,b,c) ∈ R′ 当且仅当 (b,c) ∈ R 且 (a,s(b,c)) ∈ R，并利用可减性使其在特定矩阵条件下封闭。
• 证明减法运算 s: A×A → A 是全定义的，并满足公理 s(x,x)=0 和 s(x,0)=x，使得 (A,s,0) 成为一个减法代数。
• 证明任意态射 f: A → A′ 保持减法结构，表明 f 是减法代数的同态。

实验结果

研究问题

• RQ1 一个具有有限极限、二元和与态射因子化 f=me（m 单射，e 满射）的 pointed 分类何时为加法分类？
• RQ2 如何纯粹通过可减性与对偶性来表达加法性这一性质？
• RQ3 在加法性背景下，分类的可减性与其对偶分类的可减性之间存在何种关系？
• RQ4 能否通过分类本身及其对偶的可减性来表征 Barr 完全分类的阿贝尔性质？
• RQ5 在何种范畴条件下，可减种类会成为阿贝尔种类？

主要发现

• 一个具有有限极限、二元和与态射因子化 f=me（m 单射，e 满射）的 pointed 分类是加法分类当且仅当该分类及其对偶均为可减的。
• 一个具有二元和的 Barr 完全分类是阿贝尔分类当且仅当该分类及其对偶均为可减的。
• 减法运算 s: A×A → A 是全定义的，并满足公理 s(x,x)=0 和 s(x,0)=x，使得 (A,s,0) 成为一个减法代数。
• 态射 (1_A,1_A; 1_A,0): A+A → A×A 是一个满射，这对减法运算的构造至关重要。
• 该分类中任意两个对象间的态射 f: A → A′ 保持减法结构，使得 f 成为减法代数的同态。
• 该结果将 Ursini 的可减种类概念推广至抽象分类，表明阿贝尔分类正是那些满足 C 和 C^op 均为可减的分类。