Canonical extensions, esakia spaces, and universal models

Citations of this article
Mendeley users who have this article in their library.

You may have access to this PDF.


In this chapter we survey some recent developments in duality for lattices with additional operations paying special attention to Heyting algebras and the connections to Esakia’s work in this area. In the process we analyse the Heyting implication in the setting of canonical extensions both as a property of the lattice and as an additional operation. We describe Stone duality as derived from canonical extension and derive Priestley and Esakia duality from Stone duality for maps. In preparation for this we show that the categories of Heyting and modal algebras are both equivalent to certain categories of maps between distributive lattices and Boolean algebras. Finally we relate the N-universal model of intuitionistic logic to the Esakia space of the corresponding Heyting algebra via bicompletion of quasi-uniform spaces.




Gehrke, M. (2014). Canonical extensions, esakia spaces, and universal models. In Outstanding Contributions to Logic (Vol. 4, pp. 9–41). Springer.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free