Topological Duality for Distributive Lattices

DOI10.1017/9781009349680MaRDI QIDQ6181605zbMATH OpenFDO

Authors Mai Gehrke, Samuel J. van Gool

Publication date 3 January 2024

Full work available at URL https://arxiv.org/abs/2203.03286

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to ordered structures (06-02) Lattices and duality (06D50)

Abstract: This book is a course in Stone-Priestley duality theory, with applications to logic and theoretical computer science. Our target audience are graduate students and researchers in mathematics and computer science. Our aim is to get in a fairly full palette of duality tools as directly and quickly as possible, then to illustrate and further elaborate these tools within the setting of three emblematic applications: semantics of propositional logics, domain theory in logical form, and the theory of profinite monoids for the study of regular languages and automata.

Recommendations

• scientific article; zbMATH DE number 3887755
• Priestley's duality from Stone's
• Continuous Lattices and Domains
• scientific article; zbMATH DE number 5367214
• scientific article; zbMATH DE number 4090347

Cited in

(10)

• D-Boolean algebras and their bitopological representation
• Extended Stone duality via monoidal adjunctions
• Infinitary refinement types for temporal properties in Scott domains
• Duality for coalgebras for Vietoris and monadicity
• A categorical analysis of compatibility frames
• On the universal theory of the free pseudocomplemented distributive lattice
• Complete congruences of completely distributive lattices
• Pseudovarieties of semigroups
• A spectral-like duality for join-proximity distributive lattices
• A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras

This page was built for publication: Topological Duality for Distributive Lattices

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