Reconciliation of approaches to the construction of canonical extensions of bounded lattices

We provide new insights into the relationship between different constructions of the canonical extension of a bounded lattice. This follows on from the recent construction of the canonical extension using Ploščica’s maximal partial maps into the two-element set by Craig, Haviar and Priestley (2012). We show how this complete lattice of maps is isomorphic to the stable sets of Urquhart’s representation and to the concept lattice of a specific context, and how to translate our construction to the original construction of Gehrke and Harding (2001). In addition, we identify the completely join- and completely meet-irreducible elements of the complete lattice of maximal partial maps.

[1]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[2]  Mai Gehrke,et al.  A View of Canonical Extension , 2009, TbiLLC.

[3]  Bernhard Ganter,et al.  Formal Concept Analysis , 2013 .

[4]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[5]  Mai Gehrke,et al.  Canonical extensions and completions of posets and lattices , 2008, Reports Math. Log..

[6]  Ewa Orlowska,et al.  Relational Representation Theorems for Lattices with Negations: A Survey , 2006, Theory and Applications of Relational Structures as Knowledge Instruments.

[7]  Rudolf Wille,et al.  Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts , 2009, ICFCA.

[8]  Gerd Hartung,et al.  A topological representation of lattices , 1992 .

[9]  Hilary A. Priestley,et al.  Representation of Distributive Lattices by means of ordered Stone Spaces , 1970 .

[10]  David M. Clark,et al.  Natural Dualities for the Working Algebraist , 1998 .

[11]  Alasdair Urquhart,et al.  A topological representation theory for lattices , 1978 .

[12]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[13]  M. de Rijke,et al.  Logic, Language and Computation , 1997 .

[14]  M. Gehrke,et al.  Bounded Lattice Expansions , 2001 .

[15]  M. Haviar,et al.  Canonical extensions of Stone and double Stone algebras: the natural way , 2006 .

[16]  Miroslav Haviar,et al.  A Fresh Perspective on Canonical Extensions for Bounded Lattices , 2012, Applied Categorical Structures.

[17]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[18]  L. Beran,et al.  [Formal concept analysis]. , 1996, Casopis lekaru ceskych.