[论文解读] Introduction to Ann-categories

Tien Quang Nguyen|ArXiv.org|Feb 20, 2007

Rough Sets and Fuzzy Logic参考文献 1被引用 17

一句话总结

本文引入了安-范畴（Ann-categories）——即配备两个相容的张量结构（类似于环的加法与乘法运算）的范畴——并建立了其结构的基础结果。研究证明，通过皮克-函子范畴，每个安-范畴均可忠实嵌入到一个近乎严格安-范畴中，从而提供了一个类似于代数结构中环的范畴框架。

ABSTRACT

In this paper, we present new concepts of Ann-categories, Ann-functors, and a transmission of the structure of categories based on Ann-equivalences. We build Ann-category of Pic-funtors and prove that each Ann-category can be faithfully embedded into an almost strictly Ann-category.

研究动机与目标

• 形式化一个使用两个相容张量运算的范畴框架，以模拟环的代数结构。
• 定义安-范畴、安-函子与安-等价，作为环及其环同态在范畴论中的类比。
• 建立一个结构传递定理，使得安-范畴中的约束可被严格化。
• 证明每个安-范畴均可忠实嵌入至一个近乎严格安-范畴中。
• 为利用范畴不变量对安-范畴进行上同调分类奠定基础。

提出的方法

• 将安-范畴定义为配备两个双函子 ⊕ 和 ⊗ 的范畴，并赋予满足类似于结合律、单位律与分配律的相干性条件的自然同构。
• 引入范畴 $\mathrm{End}(\mathcal{A})$，即从 $\mathcal{A}$ 到 $\mathcal{A}'$ 的皮克-函子 $F$ 的范畴，其上配备复合与张量积的自然同构。
• 通过定义零对象、单位对象、交换性同构 $c^*$ 与左分配律 $\mathcal{L}^*$，在 $\mathrm{End}(\mathcal{A})$ 上构造一个近乎严格安-范畴结构。
• 定义一个函子 $\Lambda: \mathcal{A} \to \mathrm{End}(\mathcal{A})$，将每个对象 $A$ 映射至左乘法函子 $L^A$，并配备自然同构 $\breve{\Lambda}$ 与 $\widetilde{\Lambda}$。
• 证明 $\Lambda$ 是一个忠实的安-函子，从而实现 $\mathcal{A}$ 到 $\mathrm{End}(\mathcal{A})$ 的嵌入。
• 通过安-等价与嵌入的复合，证明任意安-范畴与一个除交换性外所有约束均严格的近乎严格安-范畴等价。

实验结果

研究问题

• RQ1 如何形式化一个具有两个相容张量运算（类比于环中的加法与乘法）的范畴结构？
• RQ2 在何种条件下，安-范畴可被嵌入至具有更严格结构约束的范畴中？
• RQ3 在安-范畴的严格化形式中，交换性约束在何种条件下会变得平凡？
• RQ4 是否每个安-范畴都可被嵌入至一个函子范畴中，使得其运算严格结合且具有单位元？
• RQ5 皮克-函子在构造安-范畴的普遍嵌入中扮演何种角色？

主要发现

• 安-范畴 $\mathcal{A}$ 上的皮克-函子范畴 $\mathrm{End}(\mathcal{A})$ 构成一个近乎严格安-范畴，其零对象、单位对象、交换性与分配律约束均有明确定义。
• 由 $A \mapsto L^A$ 定义的函子 $\Lambda: \mathcal{A} \to \mathrm{End}(\mathcal{A})$ 是一个忠实的安-函子，将 $\mathcal{A}$ 嵌入至 $\mathrm{End}(\mathcal{A})$。
• 每个安-范畴均通过一个安-等价与一个 $\oplus$-严格约束的安-范畴等价。
• 当且仅当其交换性约束满足 $c_{X,X} = \mathrm{id}$ 时，安-范畴可被嵌入至一个近乎严格安-范畴中。
• 目标范畴中约束的严格性达到最大：若除交换性外所有约束均严格，则原范畴中必有 $c_{X,X} = \mathrm{id}$。
• 嵌入 $\Lambda$ 通过自然同构 $\widetilde{\Lambda}_{A,B} = a^{-1}_{A,B,-}$ 与 $\breve{\Lambda}_{A,B} = \mathcal{R}_{A,B,-}$ 构造，且这些同构满足安-函子所需的相干性条件。