  In this paper we study categorical properties of the category of (abelian)
hypergroups that leads to the notion of hyper-quasipreadditive and
hyper-quasiabelian categories. Our goal is to create a path towards a general
theory of homological algebra for hyperalgebras. This is a first attempt to
achieve this goal. We hope to improve the definitions and results, and provide
more examples soon.
