We establish the notion of a separating family of locale maps, which is the localic analogue of the topological concept of separating points from closed sets by continuous maps. We then present a localic version of the topological embedding (or diagonal) theorem. Applications to arbitrary locales, zero-dimensional locales, and completely regular locales are given. Using the axiom of choice, we are able to control the number of factors of the target localic products so that it does not exceed the weight of the embeddable locale. Apart from the proofs of results involving the weights of locales, the remaining proofs are valid in topos logic.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.