Distributive envelopes and topological duality for lattices via canonical extensions.

DOI10.1007/S11083-013-9311-7zbMATH Open1309.06004arXiv1309.3113OpenAlexW2075474737MaRDI QIDQ466890FDOQ466890

Authors: Mai Gehrke, Samuel J. van Gool 

Publication date: 31 October 2014

Published in: Order (Search for Journal in Brave)

Abstract: We establish a topological duality for bounded lattices. The two main features of our duality are that it generalizes Stone duality for bounded distributive lattices, and that the morphisms on either side are not the standard ones. A positive consequence of the choice of morphisms is that those on the topological side are functional. Towards obtaining the topological duality, we develop a universal construction which associates to an arbitrary lattice two distributive lattice envelopes with a Galois connection between them. This is a modification of a construction of the injective hull of a semilattice by Bruns and Lakser, adjusting their concept of 'admissibility' to the finitary case. Finally, we show that the dual spaces of the distributive envelopes of a lattice coincide with completions of quasi-uniform spaces naturally associated with the lattice, thus giving a precise spatial meaning to the distributive envelopes.

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

Recommendations

• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• Bitopological duality for distributive lattices and Heyting algebras
• Boolean topological distributive lattices and canonical extensions
• A fresh perspective on canonical extensions for bounded lattices.
• scientific article; zbMATH DE number 3922722

zbMATH Keywords

Galois connectionsPriestley dualitycanonical extensionsbounded latticesbicompletionsdistributive envelopesdistributive lattice envelopesgeneralized Stone dualityPervin spacestopological dualities

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A topological representation theory for lattices
• Title not available (Why is that?)
• Presenting dcpos and dcpo algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representation of Distributive Lattices by means of ordered Stone Spaces
• 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
• Title not available (Why is that?)
• Bounded distributive lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Bounded lattice expansions
• Choiceless, pointless, but not useless: dualities for preframes
• Injective Hulls of Semilattices
• Quasi-uniformization of topological spaces
• Uniform ideal completions
• Ideal completions and compactifications
• \(Z\)-join spectra of \(Z\)-supercompactly generated lattices
• Canonical extensions, Esakia spaces, and universal models
• Title not available (Why is that?)
• A topological representation of lattices
• Maps and monads for modal frames
• A topological approach to recognition
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalising canonical extension to the categorical setting

Cited In (18)

• A fresh perspective on canonical extensions for bounded lattices.
• Representations and dualities for bounded lattices
• Universal approach to \(Z\)-frame envelopes of semilattices
• A pointfree theory of Pervin spaces
• Positive modal logic beyond distributivity
• A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
• Esakia duals of regular Heyting algebras
• A duality for two-sorted lattices
• Title not available (Why is that?)
• Bitopological duality for distributive lattices and Heyting algebras
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• Canonical extensions and ultraproducts of polarities
• A topological characterization of dually \(B\)-normal almost distributive lattices.
• Title not available (Why is that?)
• A topological duality for posets
• B-frame duality
• Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
• Topological duality and algebraic completions

This page was built for publication: Distributive envelopes and topological duality for lattices via canonical extensions.

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