Separating families of locale maps and localic embeddings | Publicación