Related papers: Some notes on Esakia spaces
In this note we generalize the construction, due to Ghilardi, of the free Heyting algebra generated by a finite distributive lattice, to the case of arbitrary distributive lattices. Categorically, this provides an explicit construction of a…
We investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual to regular Heyting algebras and we show that there are continuum-many varieties of Heyting…
In this paper, we investigate the concept of local homeomorphism in Esakia spaces. We introduce the notion of etale Heyting H-algebra and establish category-theoretic duality for etale Heyting H-algebra in the case of finite Heyting algebra…
We introduce the category of Heyting frames and show that it is equivalent to the category of Heyting algebras and dually equivalent to the category of Esakia spaces. This provides a frame-theoretic perspective on Esakia duality for Heyting…
By Priestley duality, each bounded distributive lattice is represented as the lattice of clopen upsets of a Priestley space, and by Esakia duality, each Heyting algebra is represented as the lattice of clopen upsets of an Esakia space.…
We establish an Esakia duality for the categories of temporal Heyting algebras and temporal Esakia spaces. This includes a proof of contravariant equivalence and a congruence/filter/closed-upset correspondence. We then study two notions of…
We develop a new duality for distributive and implicative meet semi-lattices. For distributive meet semi-lattices our duality generalizes Priestley's duality for distributive lattices and provides an improvement of Celani's duality. Our…
In this paper we develop an almost general process to switch from abstract logics in the sense of Brown and Suszko to lattices. With this method we can establish dualities between some categories of abstract logics to the correspondent…
We introduce Esakia order-compactifications and study how they fit in the general theory of Priestley order-compactifications. We provide an analog of Dwinger's theorem by characterizing Esakia order-compactifications by means of special…
A $\nabla$-algebra is a natural generalization of a Heyting algebra, unifying several algebraic structures, including bounded lattices, Heyting algebras, temporal Heyting algebras, and the algebraic representation of dynamic topological…
We prove an open mapping theorem for the topological spaces dual to finitely presented Heyting algebras. This yields in particular a short, self-contained semantic proof of the uniform interpolation theorem for intuitionistic propositional…
G\"odel algebras are the Heyting algebras satisfying the axiom $(x \to y) \vee (y \to x)=1$. We utilize Priestley and Esakia dualities to dually describe free G\"odel algebras and coproducts of G\"odel algebras. In particular, we realize…
In this paper intuitionistic topological system and its properties have been introduced. Categorical interrelationships among Heyting algebra, G\"odel algebra, Esakia space and proposed intuitionistic topological systems have also been…
The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J. Wood on constructive complete distributive lattices where the authors employ elegantly the concepts of adjunction and module in their study of ordered…
In topology there is a theorem of Atiyah, concerning K-theory of classifying space of connected compact Lie group. We consider an algebraic analogue of this theorem. We prove that for a split reductive algebraic group G over a field there…
There are several prominent duality results in pointfree topology. The Hofmann-Lawson duality establishes that the category of continuous frames is dually equivalent to the category of locally compact sober spaces. This restricts to a dual…
In this note we prove Yosida duality --- that is: the category of compact Hausdorff spaces with continuous maps is dually equivalent to the category of uniformly complete Archimedean Riesz spaces with distinguished units and unit-preserving…
We show that the homology of the partition algebras, interpreted as appropriate Tor-groups, is isomorphic to that of the symmetric groups in a range of degrees that increases with the number of nodes. Furthermore, we show that when the…
Generalizing Duality Theorem of V. V. Fedorchuk, we prove Stone-type duality theorems for the following four categories: all of them have as objects the locally compact Hausdorff spaces, and their morphisms are, respectively, the continuous…
We show that the notions of homotopy epimorphism and homological epimorphism in the category of differential graded algebras are equivalent. As an application we obtain a characterization of acyclic maps of topological spaces in terms of…