Stone代数的一种新范畴等价
逻辑
2025-02-04 v1
摘要
本文旨在给出Stone代数的一种范畴等价。我们引入了具有直觉主义否定的Stone-Kleene代数，简称Stone KAN-代数，并探讨了Stone代数的Kalman构造。我们研究了这一新簇中的中心代数，并证明了Stone代数的范畴等价于中心Stone KAN-代数的范畴。此外，受Nelson代数的Monteiro构造启发，我们提出了一种从给定Stone KAN-代数构造中心Stone KAN-代数的方法，并展示了Kalman构造与Monteiro构造之间的联系。
引用
@article{arxiv.2502.00827,
title = {A new categorial equivalence for Stone Algebras},
author = {Ismael Calomino and Gustavo Pelaitay},
journal= {arXiv preprint arXiv:2502.00827},
year = {2025}
}