[论文解读] Universal homomorphisms, universal structures, and the polymorphism clones of homogeneous structures

Christian Pech, Maja Pech|arXiv (Cornell University)|Feb 22, 2013

Advanced Topology and Set Theory参考文献 39被引用 3

一句话总结

本文通过类别化的Fraïssé型定理，建立了一个在comma-范畴中构造普遍同态的范畴框架，从而在非初等类中实现了关于普遍和$√leph_0$-范畴化结构的新存在性结果。它证明了众多同构结构的多态性克隆具有不可数的共终性与Bergman性质，推广了Sierpiński关于函数克隆的经典结果。

ABSTRACT

Using a categorial version of Fraïssé's theorem due to Droste and Göbel, we derive a criterion for a comma-category to have universal homogeneous objects. As a first application we give new existence result for universal structures and for ω-categorical universal structures. As a second application we characterize the retracts of a large class of homogeneous structures, extending previous results by Bonato, Delić, Dolinka, and Kubiś. As a third application we show for a large class of homogeneous structures that their polymorphism clone is generated by polymorphisms of bounded arity, generalizing a classical result by Sierpiński that the clone of all functions on a given set is generated by its binary part. Further we study the cofinality and the Bergman property for clones and we give sufficient conditions on a homogeneous structure to have a polymorphism clone that has uncountable cofinality and the Bergman property.

研究动机与目标

• 开发一种利用广义Fraïssé定理在comma-范畴中构造普遍同构对象的范畴框架。
• 为非初等类结构（如有界高度的良序偏序集和$ℜ$-可色图）中普遍和$√leph_0$-范畴化结构的存在性建立充分条件。
• 刻画同构结构的收缩，并分析其自同态幺半群与多态性克隆的结构。
• 证明广泛类别的同构结构的多态性克隆具有不可数的共终性与Bergman性质，从而推广经典函数克隆结果。

提出的方法

• 将Droste与Göbel提出的Fraïssé定理的范畴化版本加以改编，用于在comma-范畴中构造普遍对象。
• 通过定义普遍同构同态并推导存在性准则，将范畴框架应用于模型论设定。
• 利用普遍自同态与嵌入生成多态性，并分析多态性克隆的共终性与相对秩。
• 应用引理7.4（关于克隆中复合）与引理7.6（关于有限相对秩）推导出不可数共终性与Bergman性质。
• 通过子克隆链的强共终性论证，表明任何可数链均无法生成完整的多态性克隆。
• 将克隆共终性问题约化为具有有限相对秩的子半群，借助关于自同态幺半群的已知结果。

实验结果

研究问题

• RQ1 在何种条件下，comma-范畴会存在一个普遍同构对象？
• RQ2 能否为可数结构的非初等类构造普遍$√leph_0$-范畴化结构？
• RQ3 哪些同构结构的收缩来自普遍自同态？它们如何被分类？
• RQ4 何时同构结构的多态性克隆具有不可数共终性或Bergman性质？
• RQ5 在有序关系下，$ℑ$的多态性克隆是否具有有界极小性的生成集？

主要发现

• 有界高度的可数良序偏序集类具有一个普遍结构，该结构非初等，因此无法通过禁止子结构方法构造。
• 对每个可数图$ℜ$，若$ℜ$有限或$√leph_0$-范畴化，则存在一个普遍$√leph_0$-范畴化的$ℜ$-可色图。
• 所有与固定$ℜ$同态等价的可数结构类，当$ℜ$有限或$√leph_0$-范畴化时，具有一个普遍$√leph_0$-范畴化的结构。
• 可数有向无环图类具有一个$√leph_0$-范畴化的普遍对象。
• Rado图、可数泛良序集、可数无原子布尔代数，以及可数域上的无限维向量空间的多态性克隆，均具有不可数共终性与Bergman性质。
• 对任意具有普遍自同态的同构结构$ℜ$，若$ℜ$的自同态幺半群具有不可数强共终性，则其多态性克隆也具有不可数共终性与Bergman性质。