Monoidal category of Abelian groups