A fresh perspective on canonical extensions for bounded lattices.
From MaRDI portal
(Redirected from Publication:395673)
Abstract: This paper presents a novel treatment of the canonical extension of a bounded lattice, in the spirit of thetheory of natural dualities. At the level of objects, this can be achieved by exploiting the topological representation due to M. Ploscica, and the canonical extension can be obtained in the same manner as can be done in the distributive case by exploiting Priestley duality. To encompass both objects and morphismsthe Ploscica representation is replaced by a duality due to Allwein and Hartonas, recast in the style of Ploscica's paper. This leads to a construction of canonical extension valid for all bounded lattices,which is shown to be functorial, with the property that the canonical extension functor decomposes asthe composite of two functors, each of which acts on morphisms by composition, in the manner of hom-functors.
Recommendations
- Reconciliation of approaches to the construction of canonical extensions of bounded lattices
- Topological duality and lattice expansions. I: A topological construction of canonical extensions.
- Distributive envelopes and topological duality for lattices via canonical extensions.
- scientific article; zbMATH DE number 5289973
- Bounded lattice expansions
Cites work
- scientific article; zbMATH DE number 437427 (Why is no real title available?)
- scientific article; zbMATH DE number 5289973 (Why is no real title available?)
- scientific article; zbMATH DE number 1226180 (Why is no real title available?)
- scientific article; zbMATH DE number 697070 (Why is no real title available?)
- scientific article; zbMATH DE number 908162 (Why is no real title available?)
- A topological representation theory for lattices
- A view of canonical extension
- Boolean topological distributive lattices and canonical extensions
- Bounded lattice expansions
- Natural dualities in partnership
- Reconciliation of approaches to the construction of canonical extensions of bounded lattices
- Representation of Distributive Lattices by means of ordered Stone Spaces
Cited in
(23)- Reconciliation of approaches to the construction of canonical extensions of bounded lattices
- Canonical extensions of bounded Archimedean vector lattices
- Canonical extensions and canonicity via dcpo presentations
- Bounded distributive lattice expansions
- Canonical extensions of lattices are more than perfect
- Representations and dualities for bounded lattices
- Canonical extensions and Kripke-Galois semantics for non-distributive logics
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Dual digraphs of finite meet-distributive and modular lattices
- Lattice logic as a fragment of (2-sorted) residuated modal logic
- A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
- Modelling socio-political competition
- Distributive envelopes and topological duality for lattices via canonical extensions.
- Generalising canonical extension to the categorical setting
- Canonical extensions and ultraproducts of polarities
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
- Duality for normal lattice expansions and sorted residuated frames with relations
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
- Modal reduction principles: a parametric shift to graphs
- A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras
- Canonical extensions of locally compact frames
- Algorithmic correspondence and canonicity for non-distributive logics
- Canonical extensions of Stone and double Stone algebras: the natural way
This page was built for publication: A fresh perspective on canonical extensions for bounded lattices.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q395673)
