[论文解读] Colimits of representable algebra-valued functors

George M. Bergman|arXiv (Cornell University)|Nov 5, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 4

一句话总结

本文证明了从一个代数范畴到另一个代数范畴的可表示函子范畴 admits small colimits，且在某些情况下给出了表示性余代数的显式构造。其关键贡献在于证明了初始可表示函子的存在性，该存在性仅在源范畴与目标范畴均不包含零元运算或包含多于一个导出零元运算时非平凡，揭示了此类情况下的丰富结构行为。

ABSTRACT

If C and D are varieties of algebras in the sense of general algebra, then by a representable functor C --> D we understand a functor which, when composed with the forgetful functor D --> Set, gives a representable functor in the classical sense; Freyd showed that these functors are determined by D-coalgebra objects of C. Let Rep(C,D) denote the category of all such functors, a full subcategory of Cat(C,D), opposite to the category of D-coalgebras in C. It is proved that Rep(C,D) has small colimits, and in certain situations, explicit constructions for the representing coalgebras are obtained. In particular, Rep(C,D) always has an initial object. This is shown to be "trivial" unless C and D either both have_no_ zeroary operations, or both have _more_than_one_ derived zeroary operation. In those two cases, the functors in question may have surprisingly opulent structures. It is also shown that every set-valued representable functor on C admits a universal morphism to a D-valued representable functor. Several examples are worked out in detail, and areas for further investigation noted.

研究动机与目标

• 研究代数范畴之间可表示函子范畴中colimits的存在性与结构。
• 确定初始可表示函子在何种情况下非平凡，特别是与源范畴和目标范畴中零元运算的关系。
• 为特定情形（如幺半群、群和环）中的colimits提供表示性余代数的显式构造。
• 证明每个取值为集合的可表示函子在某个范畴上，均可普遍映射到取值为D的可表示函子。
• 探索可表示函子范畴的结构性质，包括非同构的单射-满射态射及非单射的等化子。

提出的方法

• 利用源范畴中可表示函子与余代数之间的对偶性，证明可表示函子范畴与C中D-余代数范畴的对偶范畴等价。
• 应用关于余代数范畴中colimits的一般范畴论结果，利用余代数范畴中的colimits对应于对偶范畴中的极限这一事实。
• 通过项代数与等式定义代数范畴，固定一个正则无限基数以限制元数，确保小性。
• 通过泛性质显式构造colimits，特别是在幺半群和环等情形下使用自由代数与商构造。
• 分析具体例子（如自由幺半群、群和阿贝尔群上的张量环），以说明非同构单射-满射映射与非单射等化子等结构性现象。
• 依赖文献中的已知结果（例如 [9], [6]）通过二分图刻画余代数，并验证态射的性质。

实验结果

研究问题

• RQ1 在何种情况下，两个代数范畴之间的初始可表示函子不为平凡？
• RQ2 在何种条件下，可以显式构造可表示函子colimit的表示性余代数？
• RQ3 每个取值为集合的可表示函子在范畴C上，是否都能普遍映射到给定范畴D的可表示函子？
• RQ4 在可表示函子范畴中会出现哪些结构性现象，例如非同构的单射-满射态射？
• RQ5 在可表示函子与余代数之间的对偶性下，单射性与等化子的性质如何表现？

主要发现

• 从C到D的可表示函子范畴具有small colimits，且这些colimits由C中的余代数表示。
• 初始可表示函子仅在C与D均不包含零元运算或包含多于一个导出零元运算时才非平凡。
• 在非平凡情形下，可表示函子可表现出出人意料的丰富与复杂结构。
• 为关键例子（如自由幺半群、群和阿贝尔群上的张量环）获得了表示性余代数的显式构造。
• 存在既是单射又是满射但不是同构的余代数态射，表明余代数范畴中存在非平凡行为。
• C中D-余代数范畴的等化子在底层集合上未必是单射，即使它们在阿贝尔群范畴中是等化子。