Belian categories
arXiv:1105.5290
Abstract
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.