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

2018/07/02 by Antonio Di Nola, Di Nola, Antonio, Revaz Grigolia +3
Computer Science · #Advanced Algebra and Logic

paper · pdf · doi:10.48550/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.

Related

• Etale algebras over finite Heyting algebras
• On a Generalization of Heyting Algebras II
• An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions
• Gödel algebras: interactive dualities and their applications
• Some notes on Esakia spaces