nLab monoid axiom in a monoidal model category

Redirected from "monoid axiom".
Contents

Context

Model category theory

model category, model \infty -category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (,1)(\infty,1)-categories

Model structures

for \infty-groupoids

for ∞-groupoids

for equivariant \infty-groupoids

for rational \infty-groupoids

for rational equivariant \infty-groupoids

for nn-groupoids

for \infty-groups

for \infty-algebras

general \infty-algebras

specific \infty-algebras

for stable/spectrum objects

for (,1)(\infty,1)-categories

for stable (,1)(\infty,1)-categories

for (,1)(\infty,1)-operads

for (n,r)(n,r)-categories

for (,1)(\infty,1)-sheaves / \infty-stacks

Monoidal categories

monoidal categories

With braiding

With duals for objects

With duals for morphisms

With traces

Closed structure

Special sorts of products

Semisimplicity

Morphisms

Internal monoids

Examples

Theorems

In higher category theory

Higher algebra

Contents

Idea

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.

Definition

Definition

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 cofibrations with any object is a weak equivalence.

(Schwede-Shipley 00, def. 3.3.).

Remark

In particular, the axiom in def. says that for every object XX the functor X()X \otimes (-) sends acyclic cofibrations to weak equivalences.

Properties

Lemma

Let CC be a

Then if the monoid axiom holds for the set of generating acyclic cofibrations it holds for all acyclic cofibrations.

(Schwede-Shipley 00, lemma 3.5).

Theorem

If a monoidal model category satisfies the monoid axiom and

then the transferred model structure along the free-forgetful adjunction (FU):Mon(C)UFC(F \dashv U) : Mon(C) \stackrel{\overset{F}{\leftarrow}}{\underset{U}{\to}} C exists on its category of monoids and hence provides a model structure on monoids.

(Schwede-Shipley 00, theorem 4.1)

Examples

Proposition

Monoidal model categories that 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

with respect to Cartesian product

with respect to tensor product of chain complexes:

and with respect to a symmetric monoidal smash product of spectra:

(Schwede-Shipley 00, section 5, MMSS 00, theorem 12.1 (iii))

References

Last revised on April 4, 2016 at 13:34:14. See the history of this page for a list of all contributions to it.