Heyting 代数与 Gödel 代数对比各类拓扑系统与 Esakia 空间：一种范畴论研究
逻辑
2020-05-05 v4
摘要
本文引入直觉主义拓扑系统及其性质。并详细研究了 Heyting 代数、Gödel 代数、Esakia 空间与所提出的直觉主义拓扑系统之间的范畴论相互关系。
引用
@article{arxiv.1807.05833,
title = {Heyting Algebra and G\"odel Algebra vs. various Topological Systems and Esakia Space: a Category Theoretic Study},
author = {Antonio Di Nola and Revaz Grigolia and Purbita Jana},
journal= {arXiv preprint arXiv:1807.05833},
year = {2020}
}
备注
Accepted for publication in Azerbijan Journal of Mathematics