Abstract
We consider properties of the graphs that arise as duals of bounded lattices in Ploščica’s representation via maximal partial maps into the two-element set. We introduce TiRS graphs, which abstract those duals of bounded lattices. We demonstrate their one-to-one correspondence with so-called TiRS frames, which are a subclass of the class of RS frames introduced by Gehrke to represent perfect lattices. This yields a dual representation of finite lattices via finite TiRS frames, or equivalently finite TiRS graphs, which generalises the well-known Birkhoff dual representation of finite distributive lattices via finite posets. By using both Ploščica’s and Gehrke’s representations in tandem, we present a new construction of the canonical extension of a bounded lattice. We present two open problems that will be of interest to researchers working in this area.
Similar content being viewed by others
References
Clark D.M., Davey, B.A.: Natural Dualities for the Working Algebraist. Cambridge University Press (1998)
Craig A.P.K., Haviar M.: Reconciliation of approaches to the construction of canonical extensions of bounded lattices. Math. Slovaca 64, 1335–1356 (2014)
Craig A.P.K., Haviar M., Priestley H.A.: A fresh perspective on canonical extensions for bounded lattices. Appl. Categ. Structures 20, 725–749 (2013)
Davey B.A.: A note on representable posets. Algebra Universalis 3, 345–347 (1973)
Davey B.A., Gouveia M.J., Haviar M., Priestley H.A.: Natural extensions and profinite completions of algebras. Algebra Universalis 66, 331–336 (2011)
Davey B.A., Haviar M., Priestley H.A.: Boolean topological distributive lattices and canonical extensions. Appl. Categ. Structures 15, 225–241 (2007)
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press (2002)
Davey B.A., Priestley H.A.: A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras. Topology Appl. 158, 1724–1731 (2011)
Davey B.A., Priestley H.A.: Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras. Studia Logica 100, 137–161 (2012)
Dunne J.M., Gehrke M., Palmigiano A.: Canonical extensions and relational completeness of some substructural logics. J. Symbolic Logic 70, 713–740 (2005)
Gehrke M.: Generalized Kripke frames. Studia Logica 84, 241–275 (2006)
Gehrke M., Harding J.: Bounded lattice expansions. J. Algebra 238, 345–371 (2001)
Gehrke, M., Vosmaer, J.: A view of canonical extension. In: Proceedings of the Eighth International Tbilisi Symposium, TbiLLC, 2009. Lecture Notes in Computer Science vol. 6618, pp. 77–100. Logic, Language and Computation (Tbilisi, 2011)
Ploščica, M.: A natural representation of bounded lattices. Tatra Mountains Math. Publ. 5, 75–88 (1995)
Urquhart A.: A topological representation theory for lattices. Algebra Universalis 8, 45–58 (1978)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by R. Quackenbush.
Dedicated to Professor Brian A. Davey on his 65th birthday
The first author gratefully acknowledges funding from the Claude Leon Foundation during the writing of this paper. He also acknowledges the support of the Rhodes Trust during his DPhil studies at Oxford when some of the preliminary work was done. The second author acknowledges support from Portuguese Project PEst-OE/MAT/UI0143/2014 of CAUL financed by FCT. The third author acknowledges support from Slovak grants VEGA 1/0212/13 and APVV-0223-10.
Rights and permissions
About this article
Cite this article
Craig, A.P.K., Gouveia, M.J. & Haviar, M. TiRS graphs and TiRS frames: a new setting for duals of canonical extensions. Algebra Univers. 74, 123–138 (2015). https://doi.org/10.1007/s00012-015-0335-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-015-0335-2