Stability of abelian groups in a topos of sheaves (Q2644749)

While the category of abelian groups AB is known to be stable, in this paper the notion of stability and related facts are investigated for the category AbSh \({\mathcal L}\) of abelian groups in a topos of sheaves on a locale (a complete lattice such that \(U\wedge \bigvee_{i\in I}U_ i=\bigvee_{i\in I}(U\wedge U_ i)\) for each U and \(U_ i\) in \({\mathcal L})\). A morphism of locales h: \({\mathcal L}\to {\mathcal M}\) is a map which preserves arbitrary joins and finite meets. For any \(U\in {\mathcal L}\), \(\downarrow I\) denotes \(\{\) \(A|\) \(A\leq U\}\); if \({\mathcal L}\) is a locale, \(\downarrow U\) is again a locale. We denote by Sh \({\mathcal L}\) the category of sheaves on \({\mathcal L}\) with values in Ens, and by AbSh \({\mathcal L}\) the category of abelian groups in the topos Sh \({\mathcal L}.\) Proposition 1.1. AbSh \({\mathcal L}\) is stable iff there is a cover \(E=\bigvee_{i\in I}U_ i\) such that AbSh \(U_ i\) is stable for all \(i\in I\). Proposition 1.7. If \(\phi: {\mathcal L}\to {\mathcal M}\) is an onto map of locales and AbSh \({\mathcal L}\) is stable then AbSh \({\mathcal M}\) is also stable. Proposition 1.9. For a \(T_ 0\) topological space X, AbSh X stable implies that X is a \(T_ 1\) space. Proposition 1.11. A finite locale is stable iff it is boolean. The paper also gives some counterexamples of stability. (For any \({\mathcal L}\), the category AbSh \({\mathcal L}\) is said to be stable if for any \(A\in AbSh {\mathcal L}\) and any injective \(B\in AbSh {\mathcal L}\), \(H_{{\mathcal L}}(A,B)=0\) implies \(H_{{\mathcal L}}(E(A),B)=0\) where E(A) is the injective hull of A in AbSh \({\mathcal L}\) and \(H_{{\mathcal L}}\) is the hom- functor for the category AbSh \({\mathcal L}\).