  We instal homological algebra, including derived functors, on certain
non-additive categories like categories of pointed CW-complexes, modules of
monoids or sheaves thereof. We apply this theory to Monoid schemes and sheaves
on them, compare the result with the base change and prove several structural
theorems.
