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.
Recommendations
- A note on the local homotopy type of direct image sheaf complexes
- scientific article; zbMATH DE number 851173
- Local cohomology and pure morphisms
- Localizations in motivic homotopy theory
- Left-exact localizations of \(\infty\)-topoi. I: Higher sheaves
- Sheaves and localization
- Localization on certain Grothendieck categories
- On the Cohomological Dimension of the Localization Functor
- Locally finitely presented categories of sheaves
- Morita cohomology and homotopy locally constant sheaves
Cites work
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- Sheaves in geometry and logic: a first introduction to topos theory
- Stone duality for first order logic
Cited in
(2)
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)