nLab model structure on modules over an algebra over an operad

model category

Model structures

for ∞-groupoids

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

Higher algebra

higher algebra

universal algebra

Contents

Definition

Theorem

Let

Then then category $Mod_P(A)$ of modules over an algebra over an operad carries the transferred model structure along the forgetful functor $U : Mod_P(A) \to \mathcal{E}$.

Every morphism of cofibrant $P$-algebras $f : A \to B$ induced a Quillen adjunction

$(f_! \dashv f^*) : Mod_P(B) \stackrel{\overset{f_!}{\leftarrow}}{\underset{f^*}{\to}} Mod_P(A)$

which is a Quillen equivalence if $f$ is a weak equivalence.

This is (BergerMoerdijk, theorem 2.6).

References

• Benoit Fresse, Modules over operads and functors Springer Lecture Notes in Mathematics, (2009) (pdf)
Revised on February 11, 2013 01:36:37 by Urs Schreiber (89.204.137.65)