Distributive envelopes and topological duality for lattices via canonical extensions.

DOI10.1007/s11083-013-9311-7zbMath1309.06004arXiv1309.3113OpenAlexW2075474737MaRDI QIDQ466890

Samuel J. van Gool, Mai Gehrke

Publication date: 31 October 2014

Published in: Order (Search for Journal in Brave)

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

zbMATH Keywords

Priestley dualitytopological dualitiesGalois connectionscanonical extensionsbounded latticesbicompletionsdistributive envelopesdistributive lattice envelopesgeneralized Stone dualityPervin spaces

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Representation theory of lattices (06B15) Structure and representation theory of distributive lattices (06D05) Lattices and duality (06D50) Structure theory of lattices (06B05) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Other generalizations of distributive lattices (06D75)

Related Items

Universal approach to \(Z\)-frame envelopes of semilattices ⋮ A duality for two-sorted lattices ⋮ A pointfree theory of Pervin spaces ⋮ Topological duality and algebraic completions ⋮ Positive modal logic beyond distributivity ⋮ Esakia duals of regular Heyting algebras ⋮ B-frame duality ⋮ Unnamed Item ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ Canonical extensions and ultraproducts of polarities

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalising canonical extension to the categorical setting
• Quasi-uniformization of topological spaces
• A topological representation of lattices
• A topological representation theory for lattices
• Maps and monads for modal frames
• Choiceless, pointless, but not useless: dualities for preframes
• A Topological Approach to Recognition
• Bounded distributive lattice expansions
• Canonical Extensions, Esakia Spaces, and Universal Models
• Presenting Dcpos and Dcpo Algebras
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Injective Hulls of Semilattices
• Canonical extensions and relational completeness of some substructural logics
• The Theory of Representation for Boolean Algebras
• Topological representations of distributive lattices and Brouwerian logics
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• \(Z\)-join spectra of \(Z\)-supercompactly generated lattices
• Bounded lattice expansions
• Ideal completions and compactifications