Monoidal category of abelian groups

Definition

The monoidal category of Abelian groups is defined as follows:

• The underlying category is the category of Abelian groups.
• The monoidal operation is the tensor product of Abelian groups.
• The unit object for the monoidal operation is the group of integers.