A frame-theoretic perspective on Esakia duality

DOI10.1007/S00012-023-00827-3MaRDI QIDQ6076967zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili, Luca Carai, Patrick Morandi

Publication date 17 October 2023

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-023-00827-3

zbMATH Keywords

algebraic frameBrouwerian algebraBrouwerian semilatticecoherent frameEsakia dualityHeyting algebra

Mathematics Subject Classification ID

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)

Recommendations

• Esakia duality and its extensions
• B-frame duality
• Esakia style duality for implicative semilattices
• Canonical extensions, Esakia spaces, and universal models
• A coalgebraic view of Heyting duality

Cites work

• A coalgebraic view of Heyting duality
• A natural equivalence for the category of coherent frames
• Bitopological duality for distributive lattices and Heyting algebras
• Brouwerian Semilattices
• Continuous Lattices and Domains
• Epimorphisms in varieties of residuated structures
• Esakia style duality for implicative semilattices
• Frames and Locales
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3887755 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3494479 (Why is no real title available?)
• scientific article; zbMATH DE number 3536176 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 3796014 (Why is no real title available?)
• scientific article; zbMATH DE number 7471716 (Why is no real title available?)
• Implicative Semi-Lattices
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Priestley style duality for distributive meet-semilattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Topological representations of distributive lattices and Brouwerian logics
• Two spaces of minimal primes
• Varieties with equationally definable principal congruences

Cited in

(3)

• We-thinking and vacillation between frames: filling a gap in Bacharach's theory
• B-frame duality
• Heyting algebra and Gödel algebra vs. various topological systems and Esakia space: a category theoretic study

This page was built for publication: A frame-theoretic perspective on Esakia duality

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