麦肯锡-塔斯基代数：拓扑学的另一种无点途径
摘要：用完整内部代数作为一种拓扑学的无点代数学方法，作为对 McKinsey 和 Tarski 进行研究的替代。我们将这些代数称为 McKinsey-Tarski 代数或简称 MT-代数。将每个 MT-代数关联到其开集元素的格定义一个从 MT-代数范畴到范畴的函子，我们对此进行了深入研究。我们还研究了 MT-代数范畴和拓扑空间范畴之间的对偶伴随，证明了 MT-代数提供了对拓扑空间的有信赖的推广。我们主要关注的是用 MT-代数的语言发展分离公理的统一方法，这一方法推广了拓扑空间和格的分离公理。
作者：Guram Bezhanishvili and Ranjitha Raviprakash
论文ID：2306.13715
分类：General Topology
分类简称：math.GN
提交时间：2023-06-27