Locale morphisms with exact direct image functor in sheaves

From MaRDI portal





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.











This page was built for publication: Locale morphisms with exact direct image functor in sheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2570177)