Exact approximations to Stone-Čech compactification (Q882119)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Exact approximations to Stone-Čech compactification |
scientific article |
Statements
Exact approximations to Stone-Čech compactification (English)
0 references
23 May 2007
0 references
A generalized compactification of a locale is constructed which enjoys some extension properties and includes Stone-Čech compactification as a particular case in settings such as ZF or topos theory. A constructive proof of local smallness of the category of locales is given which, in combination with the previous result, makes it possible to characterize the class of locales for which Stone-Čech compactification can be constructively defined.
0 references
compactification
0 references
point-free topology
0 references
constructive set theory
0 references
constructive type theory
0 references
topos
0 references
locale
0 references
0 references
