[论文解读] Categories vs. groupoids via generalised Mal'tsev properties

Nelson Martins-Ferreira, Tim Van der Linden|arXiv (Cornell University)|Jun 13, 2012

Advanced Algebra and Logic被引用 9

一句话总结

本文研究了具有广义Mal'tsev性质的范畴中内部范畴与内部群胚之间的区别，表明在具有核对和等化子的弱Mal'tsev范畴中，内部范畴与群胚完全重合当且仅当每个内部预序都是等价关系——等价于该种类是n-可换的。关键贡献在于通过不依赖二元积的内部范畴结构，提出了n-可换性的一种新刻画方式，并利用蕴含代数构造了弱Mal'tsev但非Mal’tsev的Goursat种类。

ABSTRACT

We study the difference between internal categories and internal groupoids in terms of generalised Mal'tsev properties---the weak Mal'tsev property on the one hand, and $n$-permutability on the other. In the first part of the article we give conditions on internal categorical structures which detect whether the surrounding category is naturally Mal'tsev, Mal'tsev or weakly Mal'tsev. We show that these do not depend on the existence of binary products. In the second part we focus on varieties of algebras.

研究动机与目标

• 理解广义Mal'tsev性质下内部范畴与内部群胚之间的差异。
• 在不依赖二元积的前提下，利用内部范畴结构自然刻画Mal’tsev、弱Mal’tsev范畴。
• 研究在弱Mal’tsev范畴中，内部范畴何时成为内部群胚，尤其关注普遍代数种类的背景。
• 以内部结构（特别是每个内部预序都是等价关系的条件）为基础，提出n-可换性的新刻画。
• 系统构造满足弱Mal’tsev和Goursat性质但非Mal’tsev的范畴示例，以证明这些性质的独立性。

提出的方法

• 以核对和分裂下拉作为基础结构，避免依赖二元积。
• 应用弱Mal’tsev范畴的概念，即反射图至多有一个内部范畴结构。
• 使用从内部范畴到乘法图的遗忘函子，证明在具有等化子和核对的弱Mal’tsev范畴中，该函子是同构。
• 引入一个新的拟恒等式条件以定义弱Mal’tsev拟种类，推广Mal’tsev条件。
• 应用Hagemann定理（命题4.3）及其推广（命题4.8），从Goursat（3-可换）种类构造弱Mal’tsev拟种类。
• 通过特定乘法表的蕴含代数构造显式示例，以证明尽管满足弱Mal’tsev和Goursat条件，仍表现出非Mal’tsev行为。

实验结果

研究问题

• RQ1 在何种范畴条件下，内部范畴与内部群胚重合？
• RQ2 如何利用内部范畴结构（如乘法图和预序）刻画弱Mal’tsev性质？
• RQ3 在弱Mal’tsev范畴中，n-可换性与每个内部预序都是等价关系的性质之间有何关系？
• RQ4 是否存在弱Mal’tsev且Goursat但非Mal’tsev的范畴？此类示例如何系统构造？
• RQ5 在n-可换种类中，弱Mal’tsev性质是否为确保内部范畴成为内部群胚的必要条件？

主要发现

• 在具有核对和等化子的弱Mal’tsev范畴中，从内部范畴到乘法图的遗忘函子是同构。
• 从内部群胚到内部范畴的遗忘函子是同构，当且仅当每个内部预序都是等价关系。
• 在有限型拟种类中，每个内部预序都是等价关系的条件，等价于存在某个n使得种类n-可换。
• 满足拟恒等式 (ba)x = (ab)c = (ba)x′ 和 (bc)x = (cb)a = (bc)x′ ⇒ x = x′ 的蕴含代数种类，构成一个弱Mal’tsev拟种类，该种类是Goursat但非Mal’tsev。
• 命题4.8中的构造方法可系统生成弱Mal’tsev、Goursat但非Mal’tsev的拟种类，证明了这些性质的独立性。
• 本文表明，在n-可换种类中，弱Mal’tsev性质对于确保内部范畴成为内部群胚是冗余的，因为n-可换性本身已足够。