Locale morphisms with exact direct image functor in sheaves (Q2570177): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| (One intermediate revision by one other user not shown) | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/j.jpaa.2005.02.001 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2009169800 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4856547 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Sheaves in geometry and logic: a first introduction to topos theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Stone duality for first order logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3965241 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4783274 / rank | |||
Normal rank | |||
Latest revision as of 16:59, 10 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Locale morphisms with exact direct image functor in sheaves |
scientific article |
Statements
Locale morphisms with exact direct image functor in sheaves (English)
0 references
26 October 2005
0 references
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.
0 references
