Heyting Algebra and Godel Algebra vs. Various Topological Systems and Esakia Space: a Category Theoretic Study

Date Issued
2021
Author(s)
Di Nola, A
Grigolia, R
Jana, P
Abstract
This paper introduces a notion of intuitionistic topological system. Properties of the proposed system is studied in details. Categorical interrelationships among Heyting algebra, Godel algebra, Esakia space and proposed intuitionistic topological systems have also been studied. A flavour of Kripke model is given.
Volume
11