pith. sign in

arxiv: 1810.12708 · v1 · pith:35U35Q5Fnew · submitted 2018-10-30 · 🧮 math.CT

Flabby and injective objects in toposes

Ingo Blechschmidt This is my paper
classification 🧮 math.CT
keywords flabbyobjectsnotiontoposesinjectiveinternalsheavesapplication
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Coexact completion of profinite Heyting algebras and uniform interpolation

    math.LO 2026-04 unverdicted novelty 6.0

    The sheaf representation of finitely presented Heyting algebras equals profinite completion algebraically, with the K-topos (ex/reg-completion of profinite Heyting algebras) generalizing uniform interpolation via its ...