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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have