Lower Algebra: Abelian categories =?= Modules over the monoidal category of Abelian groups