德弗里斯幂和接近Specker代数
摘要：通过de Vries的对偶性[9]，紧致Hausdorff空间的范畴${sf KHaus}$与de Vries代数的范畴${sf DeV}$具有对偶等价性. 在[5]中，对${sf KHaus}$提出了一种替代性的对偶性，其中de Vries代数被Baer-Specker接近代数所取代。将每个紧致Hausdorff空间与Baer-Specker接近代数相关联的函子是通过将一个完全有序域的布尔幂的概念推广为de Vries幂得到的。这意味着${sf DeV}$与接近Baer-Specker代数的范畴${sf PBSp}$是等价的。通过经过${sf KHaus}$而获得该等价性，因此并非无选择的。在本文中，我们给出这个等价性的直接代数证明，而不需要选择。为此，我们给出了一个完全无选择的描述，即一个完全有序域的de Vries幂的替代性描述。
作者：G. Bezhanishvili, L. Carai, P. Morandi and B. Olberding
论文ID：2201.04423
分类：Rings and Algebras
分类简称：math.RA
提交时间：2023-01-23