nLab stably compact space




topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory


Basic concepts

Universal constructions

Extra stuff, structure, properties


Basic statements


Analysis Theorems

topological homotopy theory

(0,1)(0,1)-Category theory



Stably compact spaces are topological spaces which share many of the desirable properties of compact Hausdorff spaces, such as compactness and local compactness, without being Hausdorff or even T1.

They are also a convenient setting for convergence in an ordered setting, being deeply linked to compact ordered spaces.


A topological space XX is called stably compact if the following conditions are met:

Note that the latter notion of coherence is slightly different than the one given at coherent space.

Connection with compact ordered spaces


Connection with compact regular bitopological spaces

(…) For details see (Jung-Moshier 2006).


  • Achim Jung, Stably compact spaces and the probabilistic powerspace construction, ENTCS 87, 2004 (doi:10.1016/j.entcs.2004.10.001).

  • Achim Jung and M. Andrew Moshier. On the bitopological nature of Stone duality. Technical Report CSR-06-13. School of Computer Science, University of Birmingham, December 2006, 110 pages. [[pdf]]

Last revised on May 18, 2022 at 16:48:51. See the history of this page for a list of all contributions to it.