Distributive envelopes and topological duality for lattices via canonical extensions.

DOI10.1007/S11083-013-9311-7MaRDI QIDQ466890zbMATH OpenOpenAlexFDO

Authors Mai Gehrke, Samuel J. van Gool

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 437427 (Why is no real title available?)
• scientific article; zbMATH DE number 3789474 (Why is no real title available?)
• scientific article; zbMATH DE number 1249514 (Why is no real title available?)
• scientific article; zbMATH DE number 515628 (Why is no real title available?)
• scientific article; zbMATH DE number 697070 (Why is no real title available?)
• scientific article; zbMATH DE number 1453805 (Why is no real title available?)
• scientific article; zbMATH DE number 3234211 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• A topological approach to recognition
• A topological representation of lattices
• A topological representation theory for lattices
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Bounded distributive lattice expansions
• Bounded lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Canonical extensions, Esakia spaces, and universal models
• Choiceless, pointless, but not useless: dualities for preframes
• Generalising canonical extension to the categorical setting
• Ideal completions and compactifications
• Injective Hulls of Semilattices
• Maps and monads for modal frames
• Presenting dcpos and dcpo algebras
• Quasi-uniformization of topological spaces
• 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
• Uniform ideal completions
• \(Z\)-join spectra of \(Z\)-supercompactly generated lattices

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
• scientific article; zbMATH DE number 3922722 (Why is no real title available?)
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• Bitopological duality for distributive lattices and Heyting algebras
• Canonical extensions and ultraproducts of polarities
• A topological characterization of dually B-normal almost distributive lattices.
• scientific article; zbMATH DE number 7158384 (Why is no real title available?)
• 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)