Abstract

Abstract We introduce the notion of separability to locales. We prove the localic version of Urysohn's metrization theorem and show that, as in spaces, separability is countably productive. We also show that a normal regular locale is separable only if its Stone-Cech compactification is separable.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call