[论文解读] Archimedean Type Conditions in Categories

Elemér E Rosinger|ArXiv.org|Mar 6, 2008

Mathematical and Theoretical Analysis参考文献 1被引用 9

一句话总结

本文引入了任意范畴中的两种新型阿基米德型条件，将有序半群中的经典阿基米德性质推广至一般范畴。通过态射的单位等价性和迭代复合的有界性，定义了阿基米德范畴。在准序范畴中，第一个条件退化为有界性，而第二个条件仅蕴含离散范畴（所有态射均为恒等态射）。

ABSTRACT

Two concepts of being Archimedean are defined for arbitrary categories.

研究动机与目标

• 将有序半群中的经典阿基米德性质推广至任意范畴。
• 在自复合通常不可行的范畴中，定义一种‘单位’态射的概念。
• 通过箭丛范畴和态射类的有界性，建立两个不同的范畴类阿基米德性质的类比。
• 研究这些定义在准序范畴这一特殊情况下的含义。
• 阐明经典阿基米德概念如何与结构化环境中的范畴推广相关联。

提出的方法

• 使用箭丛范畴 $\mathcal{C}^2$，通过 $\mathcal{C}^2$ 中的交换图和同构来定义态射之间的单位等价性。
• 若存在 $\mathcal{C}$ 中的态射 $a, b$ 使得 $g = b \circ f \circ a$，则定义态射 $f$ 为 $g$ 的子态射，从而实现态射的复合与比较。
• 提出第一个阿基米德条件（2.1）：要求 $\mathcal{C}$ 中每个态射都是某个固定态射 $v$ 的单位等价态射的有限复合的子态射。
• 将 $\mathbb{N}v$ 定义为所有与 $v$ 单位等价的态射的可复合有限序列的类，并通过单个态射的子态射来引入此类类的有界性。
• 第二个阿基米德条件（2.5）指出：若 $\mathbb{N}v$ 有界，则 $v$ 必须是恒等态射。
• 将这些定义应用于准序范畴（其中对象间态射唯一），以获得具体的刻画。

实验结果

研究问题

• RQ1 如何将有序半群中的经典阿基米德性质推广至任意范畴？
• RQ2 在自复合通常未定义的范畴中，态射的‘单位’意味着什么？
• RQ3 在什么条件下，单位等价态射的迭代复合的有界性能推出生成态射为恒等态射？
• RQ4 在准序范畴中，范畴的阿基米德条件是否能恢复有序半群中的已知性质？
• RQ5 这两个阿基米德条件对范畴施加了何种结构约束，特别是在准序范畴的情况下？

主要发现

• 在准序范畴中，第一个阿基米德条件（2.1）等价于范畴是有界的，即存在一个态射，能通过子态射关系支配所有其他态射。
• 第二个阿基米德条件（2.5）意味着范畴中所有态射都必须是恒等态射，即范畴是离散的。
• 对于准序范畴，无论 $v$ 为何，类 $\mathbb{N}v$ 总是有界的，因此条件（2.5）强制 $v$ 为恒等态射。
• 第一个条件（2.1）在有序半群的语境下无法恢复经典阿基米德性质（1.2）或（1.4），这是由于范畴结构较弱。
• 第二个条件（2.5）比第一个更强，因为它仅在离散范畴中成立，而第一个条件在有界的准序范畴中成立。