  This article develops several main results for a general theory of
homological algebra in categories such as the category of sheaves of idempotent
modules over a topos. In the analogy with the development of homological
algebra for abelian categories the present paper should be viewed as the
analogue of the development of homological algebra for abelian groups. Our
selected prototype, the category Bmod of modules over the Boolean semifield B
is the replacement for the category of abelian groups. We show that the
semi-additive category Bmod fulfills analogues of the axioms AB1 and AB2 for
abelian categories. By introducing a precise comonad on Bmod we obtain the
conceptually related Kleisli and Eilenberg-Moore categories. The latter
category Bmod^s is simply Bmod in the topos of sets endowed with an involution
and as such it shares with Bmod most of its abstract categorical properties.
The three main results of the paper are the following. First, when endowed with
the natural ideal of null morphisms, the category Bmod^s is a semi-exact,
homological category in the sense of M. Grandis. Second, there is a far
reaching analogy between Bmod^s and the category of operators in Hilbert space,
and in particular results relating null kernel and injectivity for morphisms.
The third fundamental result is that, even for finite objects of Bmod^s the
resulting homological algebra is non-trivial and gives rise to a computable Ext
functor. We determine explicitly this functor in the case provided by the
diagonal morphism of the Boolean semiring into its square.
