Abstract
Traditionally in natural duality theory the algebras carry no topology and the objects on the dual side are structured Boolean spaces. Given a duality, one may ask when the topology can be swapped to the other side to yield a partner duality (or, better, a dual equivalence) between a category of topological algebras and a category of structures. A prototype for this procedure is provided by the passage from Priestley duality for bounded distributive lattices to Banaschewski duality for ordered sets. Moreover, the partnership between these two dualities yields as a spin-off a factorisation of the functor sending a bounded distributive lattice to its natural extension, alias, in this case, the canonical extension or profinite completion. The main theorem of this paper validates topology swapping as a uniform way to create new dual adjunctions and dual equivalences: we prove that, for every finite algebra of finite type, each dualising alter ego gives rise to a partner duality. We illustrate the theorem via a variety of natural dualities, some classic and some less familiar. For lattice-based algebras this leads immediately, as in the Priestley–Banaschewski example, to a concrete description of canonical extensions.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Banaschewski, B.: Remarks on dual adjointness. In: Nordwestdeutsches Kategorienseminar, Tagung, Bremen, 1976. Math.-Arbeitspapiere, Teil A: Math. Forschungspapiere, vol. 7, pp. 3–10. Univ. Bremen, Bremen (1976)
Blyth, T.S., Varlet, J.C.: Ockham Algebras. Oxford University Press, Oxford (1994)
Clark, D.M., Davey, B.A.: Natural Dualities for the Working Algebraist. Cambridge University Press, Cambridge (1998)
Clark, D.M., Davey, B.A., Freese, R.S., Jackson, M.G.: Standard topological algebras: syntactic and principal congruences and profiniteness. Algebra Univers. 52, 343–376 (2004)
Clark, D.M., Davey, B.A., Haviar, M., Pitkethly, J.G., Talukder, M.R.: Standard topological quasi-varieties. Houst. J. Math. 29, 859–887 (2003)
Clark, D.M., Davey, B.A., Jackson, M.G., Pitkethly, J.G.: The axiomatizability of topological prevarieties. Adv. Math. 218, 1604–1653 (2008)
Clark, D.M., Davey, B.A., Pitkethly, J.G.: Binary homomorphisms and natural dualities. J. Pure Appl. Algebra 169, 1–28 (2002)
Davey, B.A.: Dualities for equational classes of Brouwerian algebras and Heyting algebras. Trans. Amer. Math. Soc. 221, 119–146 (1976)
Davey, B.A.: Dualities for Stone algebras, double Stone algebras and relative Stone algebras. Coll. Math. 46, 1–14 (1982)
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 Univers. (2011, to appear)
Davey, B.A., Haviar, M., Pitkethly, J.G.: Using coloured ordered sets to study finite-level full dualities. Algebra Univers. 64, 69–100 (2010)
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., Willard, R.: Full does not imply strong, does it? Algebra Univers. 54, 1–22 (2005)
Davey, B.A., Jackson, M.G., Pitkethly, J.G., Talukder, M.R.: Natural dualities for semilattice-based algebras. Algebra Univers. 57, 463–490 (2007)
Davey, B.A., Pitkethly, J.G., Willard, R.: The lattice of alter egos. Int. J. Algebra Comput. (2011, to appear)
Davey, B.A., Priestley, H.A.: Generalized piggyback dualities and applications to Ockham algebras. Houst. J. Math. 13, 151–197 (1987)
Davey, B.A., Priestley, H.A.: A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras. Available at http://www.maths.ox.ac.uk/∼hap (2011, submitted). Accessed 12 February 2011
Davey, B.A., Priestley, H.A.: Canonical and natural extensions in finitely generated varieties of lattice-based algebras. Available at http://www.maths.ox.ac.uk/∼hap (2011, submitted). Accessed 12 February 2011
Davey, B.A., Talukder, M.R.: Functor category dualities for varieties of Heyting algebras. J. Pure Appl. Algebra 178, 49–71 (2003)
Davey, B.A., Talukder, M.R.: Dual categories for endodualisable Heyting algebras: optimization and axiomatization. Algebra Univers. 53, 331–355 (2005)
Di Nola, A., Niederkorn, P.: Natural dualities for varieties of BL-algebras. Arch. Math. Log. 44, 995–1007 (2005)
Gehrke, M., Jónsson, B.: Bounded distributive lattices with operators. Math. Jpn. 40, 207–215 (1994)
Goldberg, M.S.: Distributive Ockham algebras: free algebras and injectivity. Bull. Aust. Math. Soc. 24, 161–203 (1981)
Gouveia, M.J.: A note on profinite completions and canonical extensions. Algebra Univers. 64, 21–23 (2010)
Harding, J.: On profinite completions and canonical extensions. Algebra Univers. 55, 293–296 (2006, special issue dedicated to Walter Taylor)
Haviar, M., Priestley, H.A.: Canonical extensions of Stone and double Stone algebras: the natural way. Math. Slovaca 56, 53–78 (2006)
Haviar, M., Konôpka, P., Wegener, C.B.: Finitely generated free modular ortholattices II. Int. J. Theor. Phys. 36, 2661–2679 (1997)
Hecht, T., Katriňák, T.: Equational classes of relative Stone algebras. Notre Dame L. Formal Log. 13, 248–254 (1972)
Hofmann, D.: A generalization of the duality compactness theorem. J. Pure Appl. Algebra 171, 205–217 (2002)
Hyndman, J., Willard, R.: An algebra that is dualizable but not fully dualizable. J. Pure Appl. Algebra 151, 31–42 (2000)
Johansen, S.M.: Natural dualities for three classes of relational structures. Algebra Univers. 63, 149–170 (2010)
Niederkorn, P.: Natural dualities for varieties of MV-algebras, I. J. Math. Anal. Appl. 255, 58–73 (2001)
Numakura, K.: Theorems on compact totally disconnected semigroups and lattices. Proc. Amer. Math. Soc. 8, 623–626 (1957)
Pitkethly, J.G., Davey, B.A.: Dualisability: Unary Algebras and Beyond. Springer (2005)
Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2, 186–190 (1970)
Priestley, H.A.: Natural dualities for varieties of distributive lattices with a quantifier. In: Algebraic Methods in Logic and in Computer Science, Warsaw, 1991. Polish Acad. Sci., vol. 28, pp. 291–310. Banach Center Publications, Warsaw (1993)
Priestley, H.A.: Varieties of distributive lattices with unary operations I. J. Aust. Math. Soc. 63, 165–207 (1997)
Priestley, H.A., Santos, R.: Dualities for varieties of distributive lattices with unary operations II. Port. Math. 55, 135–166 (1998)
Szendrei, Á.: Clones in Universal Algebra. Séminaire de Mathematiques Supérieures, vol. 99. Les Presses de l’Université de Montréal, Montréal (1986)
Trotta, B.: Residual properties of simple graphs. Bull. Aust. Math. Soc. 38, 488–504 (2010)
Trotta, B.: Residual properties of pre-bipartite digraphs. Algebra Univers. 64, 161–186 (2010)
Trotta, B.: Residual properties of reflexive anti-symmetric digraphs. Houst. J. Math. 37, 27–46 (2011)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the 75th birthday of Professor Tibor Katriňák.
The first author wishes to thank the Research Institute of M. Bel University in Banská Bystrica for its hospitality while working on this paper. The second author acknowledges support from Slovak grant VEGA 1/0485/09. This work was partially supported by the Agency of the Slovak Ministry of Education for the Structural Funds of the EU, under project ITMS:26220120007.
Rights and permissions
About this article
Cite this article
Davey, B.A., Haviar, M. & Priestley, H.A. Natural Dualities in Partnership. Appl Categor Struct 20, 583–602 (2012). https://doi.org/10.1007/s10485-011-9253-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-011-9253-4