Natural dualities in partnership
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 top...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2012
|
| _version_ | 1826284907038507008 |
|---|---|
| author | Davey, B Haviar, M Priestley, H |
| author_facet | Davey, B Haviar, M Priestley, H |
| author_sort | Davey, B |
| collection | OXFORD |
| description | 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 spinoff 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. © 2011 Springer Science+Business Media B.V. |
| first_indexed | 2024-03-07T01:20:53Z |
| format | Journal article |
| id | oxford-uuid:9045eda8-c265-4a62-a2b8-98b00728295d |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T01:20:53Z |
| publishDate | 2012 |
| record_format | dspace |
| spelling | oxford-uuid:9045eda8-c265-4a62-a2b8-98b00728295d2022-03-26T23:10:38ZNatural dualities in partnershipJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:9045eda8-c265-4a62-a2b8-98b00728295dEnglishSymplectic Elements at Oxford2012Davey, BHaviar, MPriestley, HTraditionally 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 spinoff 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. © 2011 Springer Science+Business Media B.V. |
| spellingShingle | Davey, B Haviar, M Priestley, H Natural dualities in partnership |
| title | Natural dualities in partnership |
| title_full | Natural dualities in partnership |
| title_fullStr | Natural dualities in partnership |
| title_full_unstemmed | Natural dualities in partnership |
| title_short | Natural dualities in partnership |
| title_sort | natural dualities in partnership |
| work_keys_str_mv | AT daveyb naturaldualitiesinpartnership AT haviarm naturaldualitiesinpartnership AT priestleyh naturaldualitiesinpartnership |