A representation of stably compact space
β
Thierry Coquand; Guo-Qiang Zhang
π
Article
π
2003
π
Elsevier Science
π
English
β 204 KB
This note presents a concrete representation of stably compact spaces. This is used to give a simple, and predicative, description of the patch topology of a stably compact space (J. Pure Appl. Algebra, to appear).