Abstract

It is a pleasant fact that Stone-duality may be described very smoothly when restricted to the category of compact spectral spaces: The Stoneduals of these spaces, arithmetic algebraic lattices, may be replaced by their sublattices of compact elements thus discarding infinitary operations. We present a similar approach to describe the Stone-duals of coherent spaces, thus dropping the requirement of having a base of compact-opens (or, alternatively, replacing algebraicity of the lattices by continuity). The construction via strong proximity lattices is resembling the classical case, just replacing the order by an order of approximation. Our development enlightens the fact that “open ” and “compact ” are dual concepts which merely happen to coincide in the classical case.

Citations

909	Introduction to Lattices and Order - Davey, Priestley - 1990
402	Domain Theory, in - Abramsky, Jung - 1994
114	The theory of representations for Boolean algebras - Stone - 1936
45	Local compactness and continuous lattices - Hofmann, Mislove - 1981
34	Spaces, volume 3 of Cambridge - Stone - 1982
30	Effectively given domains - Smyth - 1977
26	The versatile continuous order - Lawson - 1987
17	A direct proof of the Hofmann-Mislove theorem - Keimel, Paseka - 1994
10	Stable compactification I - Smyth - 1992
2	Continuous ideal completions and compactifications - Gierz, Keimel - 1981
2	The skew-fields of topology - Kopperman - 1994
2	Order and strongly sober compactification - Lawson - 1991
2	Finite approximation of spaces - Smyth - 1986
1	GHK + 80 - Press, Cambridge - 1990
1	GK81] [HM81] [Joh82 - Verlag - 1980