Heyting frames and Esakia duality

Authors Guram Bezhanishvili, Luca Carai, Patrick Morandi

Publication date 15 February 2023

Heyting algebras (lattice-theoretic aspects) (06D20) Frames, locales (06D22) Stone spaces (Boolean spaces) and related structures (06E15) Frames and locales, pointfree topology, Stone duality (18F70)

Abstract: 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 algebras. We also generalize these results to the setting of Brouwerian algebras and Brouwerian semilattices by introducing the corresponding categories of Brouwerian frames and extending the above equivalences and dual equivalences. This provides a frame-theoretic perspective on generalized Esakia duality for Brouwerian algebras and Brouwerian semilattices.

This page was built for publication: Heyting frames and Esakia duality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6426605)