Locale morphisms with exact direct image functor in sheaves (Q2570177)

The authors give a necessary and sufficient condition on a continuous map of locales for the induced geometric morphism between toposes of sheaves to have its direct image as well as its inverse image exact (i.e., preserving finite coproducts and epimorphisms, as well as finite limits). The result subsumes an earlier (unpublished) one by the first author, which established a similar criterion for continuous maps of topological spaces.