Abstract
The paper investigates completions in the context of finitely generated lattice-based varieties of algebras. In particular the structure of canonical extensions in such a variety \({\mathcal {A}}\) is explored, and the role of the natural extension in providing a realisation of the canonical extension is discussed. The completions considered are Boolean topological algebras with respect to the interval topology, and consequences of this feature for their structure are revealed. In addition, we call on recent results from duality theory to show that topological and discrete dualities for \({\mathcal {A}}\) exist in partnership.
Similar content being viewed by others
References
Banaschewski, B., ‘On profinite universal algebras’, in General Topology and Its Relations to Modern Analysis and Algebra III, Proc. Third Prague Topological Symp., 1971, Academia, Prague 1972, pp. 51–62.
Banaschewski, B., ‘Remarks on dual adjointness’, Nordwestdeutsches Kategorienseminar (Tagung, Bremen, 1976), Math.-Arbeitspapiere, 7, Teil A: Math. Forschungspapiere, Universität Bremen, 1976, pp. 3–10.
Bezhanishvili G., Gehrke M., Mines R., Morandi P.J.: ‘Profinite completions and canonical extensions of Heyting algebras’. Order 23, 143–161 (2006)
Burris, S. N., and H.P. Sankappanavar, A Course in Universal Algebra, Springer- Verlag, 1981 (free download at http://www.math.uwaterloo.ca/~snburris/).
Clark, D. M., and B. A. Davey, Natural Dualities for the Working Algebraist, Cambridge University Press, 1998.
Clark D.M., Davey B.A., Freese R.S., Jackson M.G.: ‘Standard topological algebras: syntactic and principal congruences and profiniteness’. Algebra Universalis 52, 343–376 (2004)
Clark D.M., Davey B.A., Jackson M.G., Pitkethly J.G.: ‘The axiomatizability of topological prevarieties’. Adv. Math. 218, 1604–1653 (2008)
Davey B.A.: ‘Natural dualities for structures’. Acta Univ. M. Belii Math. 13, 3–28 (2006)
Davey B.A., Gouveia M.J., Haviar M., Priestley H.A.: ‘Natural extensions and profinite completions of algebras’. Algebra Universalis 66, 205–241 (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., M. Haviar, and H. A. Priestley, ‘Natural dualities in partnership’, Appl. Categ. Structures (2011), doi:10.1007/s10485-011-9253-4.
Davey B.A., Haviar M., Willard R.: ‘Full does not imply strong, does it?’. Algebra Universalis 54, 1–22 (2005)
Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, 2nd edition, Cambridge University Press, 2002.
Davey B.A., Priestley H.A.: ‘A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras’. Topol. and Appl. 158, 1724–1731 (2011)
Erné M.: ‘Topologies on products of partially ordered sets III: interval topologies’. Algebra Universalis 11, 295–311 (1980)
Erné, M., ‘Convergence and distributivity: a survey’, in R.-E. Hoffmann (ed.), Continuous Lattices and Related Topics, Mathematik Arbeitspapier Nr 27, Universität Bremen, 1982, pp. 39–50.
Erné M.: ‘Infinite distributive laws versus local connectedness and compactness properties’. Topology Appl. 156, 2054–2069 (2009)
Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated Lattices: an Algebraic Glimpse at Substructural Logics, Elsevier, 2007.
Gehrke M., Harding J.: ‘Bounded lattice expansions’. J. Algebra 238, 345–371 (2001)
Gehrke M., Jónsson B.: ‘Bounded distributive lattices with operators’. Math. Japonica 40, 207–215 (1994)
Gehrke M., Jónsson B.: ‘Bounded distributive lattice expansions’. Math. Scand. 94, 13–45 (2004)
Gehrke M., Priestley H.A.: ‘Canonical extensions and completions of posets and lattices’. Rep. Math. Logic 43, 133–152 (2008)
Gehrke, M., and J. Vosmaer, ‘A view of canonical extensions, 2010’ in Logic, Language and Computation (Proceedings of the Eighth International Tbilisi Symposium, TbiLLC, 2009), Lecture Notes in Computer Science 6618:77–100, 2011.
Gierz, G., K. H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, and D. S. Scott, Continuous Lattices and Domains, Cambridge University Press, 2003.
Gouveia M.J.: ‘A note on profinite completions and canonical extensions’. Algebra Universalis 64, 21–23 (2010)
Harding J.: ‘On profinite completions and canonical extensions’. Algebra Universalis 55, 293–296 (2006)
Hofmann D.: ‘A generalization of the duality compactness theorem’. J. Pure Appl. Algebra 171, 205–217 (2002)
Johnstone, P. T., Stone Spaces, Cambridge University Press, 1982.
Jónsson B., Tarski A.: ‘Boolean algebras with operators. I’, Amer. J. Math. 73, 891–939 (1951)
Kearnes K.A., Willard R.: ‘Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound’. Proc. Amer. Math. Soc. 127, 2841–2850 (1995)
Maruyama, Y., ‘Natural duality, modality and coalgebra’, J. Pure Appl. Algebra, published online 09/11/ 2011, doi:10.1016/j.jpaa.2011.07.002.
Priestley H.A.: ‘Catalytic distributive lattices and compact zero-dimensional topological lattices’. Algebra Universalis 19, 322–329 (1984)
Speed T.P.: ‘Profinite posets’. Bull. Austral. Math. Soc. 6, 177–183 (1972)
Venugopalan P.: ‘Priestley spaces’. Proc. Amer. Math. Soc. 109, 605–610 (1990)
Vosmaer, J., Logic, Algebra and Topology, PhD Thesis, University of Amsterdam, Netherlands, 2010.
Author information
Authors and Affiliations
Corresponding author
Additional information
In memoriam Leo Esakia
Rights and permissions
About this article
Cite this article
Davey, B.A., Priestley, H.A. Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras. Stud Logica 100, 137–161 (2012). https://doi.org/10.1007/s11225-012-9392-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9392-0