symmetric monoidal (∞,1)-category of spectra
An abelian monoid is a monoid where the multiplication satisfies the commutative law:
Alternatively, just as a monoid is a category with one object, an abelian monoid is a monoidal category with one object and one morphism.