Abstract
This paper presents a novel treatment of the canonical extension of a bounded lattice, in the spirit of the theory of natural dualities. At the level of objects, this can be achieved by exploiting the topological representation due to M. Ploščica, 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 morphisms the Ploščica representation is replaced by a duality due to Allwein and Hartonas, recast in the style of Ploščica’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 as the composite of two functors, each of which acts on morphisms by composition, in the manner of hom-functors.
Similar content being viewed by others
References
Allwein, G.: The duality of algebraic and Kripke models for linear logic. Thesis, Indiana University, Bloomington, Indiana (1992)
Allwein, G., Hartonas, C.: Duality for bounded lattices. Indiana University Logic Group, Preprint Series, IULG-93-25 (1993)
Clark, D.M., Davey, B.A.: Natural Dualities for the Working Algebraist. Cambridge University Press, Cambridge (1998)
Craig, A.P.K., Haviar, M.: Reconciliation of approaches to the construction of canonical extensions of bounded lattices. Available at http://andrewcraigmaths.wordpress.com/research/
Davey, B.A., Haviar, M., Priestley, H.A.: Boolean topological distributive lattices and canonical extensions. Appl. Categ. Struct. 15, 225–241 (2007)
Davey, B.A., Haviar M., Priestley, H.A.: Natural dualities in partnership. Appl. Categ. Struct. (2011). doi:10.1007/s10485-011-9253-4
Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra 238, 345–371 (2001)
Gehrke, M., Jónsson, B.: Bounded distributive lattices with operators. Math. Jpn. 40, 207–215 (1994)
Gehrke, M., Priestley, H. A.: Canonical extensions and completions of posets and lattices. Rep. Math. Log. 43, 133–152 (2008)
Gehrke, M., Vosmaer, J.: A view of canonical extension. In: Logic, Language and Computation, Proceedings of the Eighth International Tbilisi Symposium, TbiLLC, 2009. Lecture Notes in Computer Science, vol. 6618, pp. 77–100 (2011)
Hartung, G.: An extended duality for lattices. In: General Algebra and its Applications, Potsdam, 1992. Res. Exp. Math., vol. 20, pp. 126–142. Heldermann (1993)
Ploščica, M.: A natural representation of bounded lattices. Tatra Mt. Math. Publ. 5, 75–88 (1995)
Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2, 186–190 (1970)
Urquhart, A.: A topological representation theory for lattices. Algebra Univers. 8, 45–58 (1978)
Author information
Authors and Affiliations
Corresponding author
Additional information
The first author gratefully acknowledges funding from the Rhodes Trust. The second author acknowledges support from Slovak grants VEGA 1/0485/09 and APVV-0223-10.
Rights and permissions
About this article
Cite this article
Craig, A.P.K., Haviar, M. & Priestley, H.A. A Fresh Perspective on Canonical Extensions for Bounded Lattices. Appl Categor Struct 21, 725–749 (2013). https://doi.org/10.1007/s10485-012-9287-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-012-9287-2