Heyting Algebra and Gödel Algebra vs. various Topological Systems and Esakia Space: a Category Theoretic Study
arXiv:1807.05833
Abstract
In this paper intuitionistic topological system and its properties have been introduced. Categorical interrelationships among Heyting algebra, Gödel algebra, Esakia space and proposed intuitionistic topological systems have also been studied in details.
Accepted for publication in Azerbijan Journal of Mathematics