## Monoid axiom and model structure for operads

### Michael Batanin – 7 October 2009

I prove the existence of model structure for k-operads (symmetric operads) in V, where V is symmetric monoidal model category which satisfies the "monoid axiom" of Schwede and Shipley. The motivating example is V=n-Cat, where n-Cat is Rezk's category of n-categories.

Back