A fresh perspective on canonical extensions for bounded lattices.
From MaRDI portal
Publication:395673
DOI10.1007/S10485-012-9287-2zbMATH Open1318.08004arXiv1308.4822OpenAlexW2593646838MaRDI QIDQ395673FDOQ395673
Authors: Andrew P. K. Craig, Miroslav Haviar, Hilary A. Priestley 
Publication date: 30 January 2014
Published in: Applied Categorical Structures (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1308.4822
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
- Bounded lattice expansions
Complete lattices, completions (06B23) Natural dualities for classes of algebras (08C20) Lattices and duality (06D50)
Cites Work
- A topological representation theory for lattices
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bounded lattice expansions
- Natural dualities in partnership
- Boolean topological distributive lattices and canonical extensions
- A View of Canonical Extension
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reconciliation of approaches to the construction of canonical extensions of bounded lattices
Cited In (18)
- Bounded distributive lattice expansions
- Canonical extensions and canonicity via dcpo presentations
- Canonical extensions of lattices are more than perfect
- 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
- Canonical extensions and ultraproducts of polarities
- 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
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
- Modal reduction principles: a parametric shift to graphs
- A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras
- Title not available (Why is that?)
- 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)
