Natural dualities in partnership (Q1928246): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10485-011-9253-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1977205581 / rank | |||
Normal rank |
Revision as of 20:24, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Natural dualities in partnership |
scientific article |
Statements
Natural dualities in partnership (English)
0 references
2 January 2013
0 references
Priestley duality for the variety \(\mathcal{D}\) of bounded distributive lattices sets up a dual equivalence between \(\mathcal{D}\) and the category of Priestley spaces. Banaschewski's duality sets up a dual equivalence between the category of Boolean topological distributive lattices and the category of ordered sets. These partner dualities are set up by hom-functors into a pair of structures: a structure (with no topology) and a topological structure acting as its \textit{alter ego}. Thus the two dualities are related to one another by topology swapping: each can be obtained from its partner by removing the topology from the \textit{alter ego} and applying it to the untopologised structure. In their paper the authors demonstrate that the above examples illustrate a very general procedure that takes a duality and swaps the topology from the structure side to the algebra side to obtain a new partner duality paired with the original one. The main theorem of this paper validates topology swapping as a uniform way to create new dual adjunctions and dual equivalences. The theorem is illustrated via a variety of natural dualities, some classic and some less familiar.
0 references
natural duality
0 references
natural extension
0 references
canonical extension
0 references
topology swapping
0 references