Exact approximations to Stone-Čech compactification

From MaRDI portal





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.



Cites work









This page was built for publication: Exact approximations to Stone-Čech compactification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q882119)