有限海廷代数上的étale代数
逻辑
2024-11-01 v1 范畴论
摘要
本文研究了Esakia空间中的局部同胚概念。我们引入了étale海廷H-代数的概念，并在有限海廷代数H的情形下建立了étale海廷H-代数的范畴论对偶。此外，我们给出了当H为有限时刻画étale海廷H-代数簇的一个恒等式。我们还证明了斯通空间值的有限Esakia空间X上的(余)预层范畴与X上的局部同胚切片范畴等价。这一事实被用于证明，与一般海廷H-代数情形相比，在étale海廷H-代数范畴中计算有限余极限更为容易。
引用
@article{arxiv.2410.23442,
title = {Etale algebras over finite Heyting algebras},
author = {Kuznetsov Evgeny},
journal= {arXiv preprint arXiv:2410.23442},
year = {2024}
}