Heyting Algebra and Gödel Algebra vs. various Topological Systems and Esakia Space: a Category Theoretic Study

Antonio Di Nola, Revaz Grigolia, Purbita Jana

In this paper intuitionistic topological system and its properties have been introduced. Categorical interrelationships among Heyting algebra, Gödel algebra, Esakia space and propo…