Skip to main content
SpringerLink
Log in

Natural Dualities in Partnership

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 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)

    Google Scholar 

  2. Blyth, T.S., Varlet, J.C.: Ockham Algebras. Oxford University Press, Oxford (1994)

    MATH  Google Scholar 

  3. Clark, D.M., Davey, B.A.: Natural Dualities for the Working Algebraist. Cambridge University Press, Cambridge (1998)

    MATH  Google Scholar 

  4. 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)

    Article  MathSciNet  MATH  Google Scholar 

  5. 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)

    MathSciNet  MATH  Google Scholar 

  6. Clark, D.M., Davey, B.A., Jackson, M.G., Pitkethly, J.G.: The axiomatizability of topological prevarieties. Adv. Math. 218, 1604–1653 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  7. Clark, D.M., Davey, B.A., Pitkethly, J.G.: Binary homomorphisms and natural dualities. J. Pure Appl. Algebra 169, 1–28 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  8. Davey, B.A.: Dualities for equational classes of Brouwerian algebras and Heyting algebras. Trans. Amer. Math. Soc. 221, 119–146 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  9. Davey, B.A.: Dualities for Stone algebras, double Stone algebras and relative Stone algebras. Coll. Math. 46, 1–14 (1982)

    MathSciNet  MATH  Google Scholar 

  10. Davey, B.A.: Natural dualities for structures. Acta Univ. M. Belii Math. 13, 3–28 (2006)

    MathSciNet  MATH  Google Scholar 

  11. Davey, B.A., Gouveia, M.J., Haviar, M., Priestley, H.A.: Natural extensions and profinite completions of algebras. Algebra Univers. (2011, to appear)

  12. Davey, B.A., Haviar, M., Pitkethly, J.G.: Using coloured ordered sets to study finite-level full dualities. Algebra Univers. 64, 69–100 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  13. Davey, B.A., Haviar, M., Priestley, H.A.: Boolean topological distributive lattices and canonical extensions. Appl. Categ. Struct. 15, 225–241 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  14. Davey, B.A., Haviar, M., Willard, R.: Full does not imply strong, does it? Algebra Univers. 54, 1–22 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  15. Davey, B.A., Jackson, M.G., Pitkethly, J.G., Talukder, M.R.: Natural dualities for semilattice-based algebras. Algebra Univers. 57, 463–490 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  16. Davey, B.A., Pitkethly, J.G., Willard, R.: The lattice of alter egos. Int. J. Algebra Comput. (2011, to appear)

  17. Davey, B.A., Priestley, H.A.: Generalized piggyback dualities and applications to Ockham algebras. Houst. J. Math. 13, 151–197 (1987)

    MathSciNet  MATH  Google Scholar 

  18. 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

  19. 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

  20. Davey, B.A., Talukder, M.R.: Functor category dualities for varieties of Heyting algebras. J. Pure Appl. Algebra 178, 49–71 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  21. Davey, B.A., Talukder, M.R.: Dual categories for endodualisable Heyting algebras: optimization and axiomatization. Algebra Univers. 53, 331–355 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  22. Di Nola, A., Niederkorn, P.: Natural dualities for varieties of BL-algebras. Arch. Math. Log. 44, 995–1007 (2005)

    Article  MATH  Google Scholar 

  23. Gehrke, M., Jónsson, B.: Bounded distributive lattices with operators. Math. Jpn. 40, 207–215 (1994)

    MATH  Google Scholar 

  24. Goldberg, M.S.: Distributive Ockham algebras: free algebras and injectivity. Bull. Aust. Math. Soc. 24, 161–203 (1981)

    Article  MATH  Google Scholar 

  25. Gouveia, M.J.: A note on profinite completions and canonical extensions. Algebra Univers. 64, 21–23 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  26. Harding, J.: On profinite completions and canonical extensions. Algebra Univers. 55, 293–296 (2006, special issue dedicated to Walter Taylor)

    Google Scholar 

  27. Haviar, M., Priestley, H.A.: Canonical extensions of Stone and double Stone algebras: the natural way. Math. Slovaca 56, 53–78 (2006)

    MathSciNet  MATH  Google Scholar 

  28. Haviar, M., Konôpka, P., Wegener, C.B.: Finitely generated free modular ortholattices II. Int. J. Theor. Phys. 36, 2661–2679 (1997)

    Article  MATH  Google Scholar 

  29. Hecht, T., Katriňák, T.: Equational classes of relative Stone algebras. Notre Dame L. Formal Log. 13, 248–254 (1972)

    Article  MATH  Google Scholar 

  30. Hofmann, D.: A generalization of the duality compactness theorem. J. Pure Appl. Algebra 171, 205–217 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  31. Hyndman, J., Willard, R.: An algebra that is dualizable but not fully dualizable. J. Pure Appl. Algebra 151, 31–42 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  32. Johansen, S.M.: Natural dualities for three classes of relational structures. Algebra Univers. 63, 149–170 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  33. Niederkorn, P.: Natural dualities for varieties of MV-algebras, I. J. Math. Anal. Appl. 255, 58–73 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  34. Numakura, K.: Theorems on compact totally disconnected semigroups and lattices. Proc. Amer. Math. Soc. 8, 623–626 (1957)

    Article  MathSciNet  MATH  Google Scholar 

  35. Pitkethly, J.G., Davey, B.A.: Dualisability: Unary Algebras and Beyond. Springer (2005)

  36. Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2, 186–190 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  37. 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)

    Google Scholar 

  38. Priestley, H.A.: Varieties of distributive lattices with unary operations I. J. Aust. Math. Soc. 63, 165–207 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  39. Priestley, H.A., Santos, R.: Dualities for varieties of distributive lattices with unary operations II. Port. Math. 55, 135–166 (1998)

    MathSciNet  MATH  Google Scholar 

  40. Szendrei, Á.: Clones in Universal Algebra. Séminaire de Mathematiques Supérieures, vol. 99. Les Presses de l’Université de Montréal, Montréal (1986)

  41. Trotta, B.: Residual properties of simple graphs. Bull. Aust. Math. Soc. 38, 488–504 (2010)

    Article  MathSciNet  Google Scholar 

  42. Trotta, B.: Residual properties of pre-bipartite digraphs. Algebra Univers. 64, 161–186 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  43. Trotta, B.: Residual properties of reflexive anti-symmetric digraphs. Houst. J. Math. 37, 27–46 (2011)

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Statistics, La Trobe University, Victoria, 3086, Australia

    Brian A. Davey

  2. Faculty of Natural Sciences, Matej Bel University, Tajovského 40, 974 01, Banská, Bystrica, Slovakia

    Miroslav Haviar

  3. Mathematical Institute, University of Oxford, 24/29 St Giles, Oxford, OX1 3LB, UK

    Hilary A. Priestley

Authors
  1. Brian A. Davey
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Miroslav Haviar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hilary A. Priestley
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Brian A. Davey.

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

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-011-9253-4

Keywords

Mathematics Subject Classifications (2010)

Search

Navigation