Flabby and injective objects in toposes
Contact the author: Please use for correspondence this email.
Submission date: 14. Nov. 2018
MSC-Numbers: 18B25, 14F05
Keywords and phrases: flabby objects
Download full preprint: PDF (397 kB)
Link to arXiv: See the arXiv entry of this preprint.
We introduce a general notion of flabby objects in elementary toposes and study their basic properties. In the special case of localic toposes, this notion reduces to the common notion of flabby sheaves, yielding a site-independent characterization of flabby sheaves. Continuing a line of research started by Roswitha Harting, we use flabby objects to show that an internal notion of injective objects coincides with the corresponding external notion, in stark contrast with the situation for projective objects. We show as an application that higher direct images can be understood as internal cohomology, and we study flabby objects in the effective topos.