On the Duality of Compact vs . Open

  title={On the Duality of Compact vs . Open},
  author={Philipp S{\"u}nderhauf},
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… CONTINUE READING


Publications citing this paper.
Showing 1-10 of 20 extracted citations

Differentiation in logical form

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) • 2017
View 7 Excerpts
Highly Influenced

Priestley Duality for Strong Proximity Lattices

Electr. Notes Theor. Comput. Sci. • 2006
View 8 Excerpts
Highly Influenced

Computer Science Logic

Lecture Notes in Computer Science • 2002
View 11 Excerpts
Highly Influenced

Proximity Frames and Regularization

Applied Categorical Structures • 2014
View 3 Excerpts
Highly Influenced

Relation lifting, a survey

J. Log. Algebr. Meth. Program. • 2016
View 1 Excerpt

Continuous Domain Theory in Logical Form

Computation, Logic, Games, and Quantum Foundations • 2013

Stably compact spaces

Mathematical Structures in Computer Science • 2011
View 2 Excerpts


Publications referenced by this paper.
Showing 1-10 of 15 references

A Compendium of Continuous Lattices

G. Gierz, K. H. Hofmann, +3 authors D. S. Scott
Springer Verlag • 1980
View 4 Excerpts
Highly Influenced

A direct proof of the Hofmann-Mislove theorem

K. Keimel, J. Paseka
Proceedings of the AMS, 120:301–303 • 1994

The skew-fields of topology

R. Kopperman
Manuscript, • 1994

Stable compactification I

M. B. Smyth
Journal of the London Mathematical Society, 45:321–340 • 1992
View 2 Excerpts


J. D. Lawson. Order, strongly sober compactification. In G.M. Reed, A. W. Roscoe, R. F. Wachter
Topology and Category Theory in Computer Science, pages 179–205, Oxford, • 1991

Order and strongly sober compactification

G. M. Reed, R. F. Wachter
Mathematical Foundations of Programming Language Semantics , volume 298 of Lecture Notes in Computer Science • 1988

Stone Spaces

P. T. Johnstone
volume 3 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge • 1982

Similar Papers

Loading similar papers…