Distributive envelopes and topological duality for lattices via canonical extensions.
From MaRDI portal
(Redirected from Publication:466890)
Galois connectionsPriestley dualitycanonical extensionsbounded latticesbicompletionsdistributive envelopesdistributive lattice envelopesgeneralized Stone dualityPervin spacestopological dualities
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)- Canonical extensions and ultraproducts of polarities
- A pointfree theory of Pervin spaces
- Esakia duals of regular Heyting algebras
- scientific article; zbMATH DE number 3922722 (Why is no real title available?)
- Representations and dualities for bounded lattices
- B-frame duality
- A fresh perspective on canonical extensions for bounded lattices.
- A topological characterization of dually \(B\)-normal almost distributive lattices.
- A duality for two-sorted lattices
- Positive modal logic beyond distributivity
- scientific article; zbMATH DE number 7158384 (Why is no real title available?)
- Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
- A topological duality for posets
- Bitopological duality for distributive lattices and Heyting algebras
- A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
- Topological duality and lattice expansions. I: A topological construction of canonical extensions.
- Universal approach to \(Z\)-frame envelopes of semilattices
- 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)
