  We study morphisms of internal locales of Grothendieck toposes externally:
treating internal locales and their morphisms as sheaves and natural
transformations. We characterise those morphisms of internal locales that
induce surjective geometric morphisms and geometric embeddings, demonstrating
that both can be computed `pointwise'. We also show that the co-frame
operations on the co-frame of internal sublocales can also be computed
`pointwise' too.
