related by the Dold-Kan correspondence
category with duals (list of them)
dualizable object (what they have)
symmetric monoidal (∞,1)-category of spectra
The monoid axiom is an extra condition on a monoidal model category that helps to make its model structure on monoids in a monoidal model category exist and be well behaved.
We say a monoidal model category satisfies the monoid axiom if every morphism that is obtained as a transfinite composition of pushouts of tensor products of acyclic fibrations with any object is a weak equivalence.
This appears as SchwedeShipley, def. 3.3..
Let be a
Then if the monoid axiom hold for the set of generating acyclic cofibrations it holds for all acyclic cofibrations.
This is (SchwedeShipley, lemma 3.5).
If a monoidal model category satisfies the monoid axiom and
This is part of (SchwedeShipley, theorem 4.1).
Monoidal model categories thatt satisfy the monoid axiom (as well as the other conditions sufficient for the above theorem on the existence of transferred model structures on categories of monoids) include
This is in (SchwedeShipley, section 5).