Modules in monoidal model categories (Q886224): Difference between revisions

In a symmetric monoidal category \(\mathcal M\) with product \(\wedge\), consider a monoid \(A\) and a left \(A\)-module \(M\) (with an action map \(A \wedge M \rightarrow M\)). Construct then, for any right \(A\)-module \(N\), the \textit{balanced product} \(M \wedge_A N\) as the coequalizer of \(M \wedge A \wedge N \rightrightarrows M \wedge N\). Dually construct a left \(A\)-module function object \({}^A[L, M]\) for any left \(A\)-module~\(L\). When \(\mathcal M\) is also a Quillen closed model category, compatible with the product in an appropriate sense, \(\mathcal M\) is called a \textit{monoidal model category}. The derived product and the derived function object turn the homotopy category of \(\mathcal M\) into a symmetric monoidal category, as explained by \textit{M. Hovey} [``Model categories''. Math. Surv. Monogr. 63, AMS (1999; Zbl 0909.55001)]. The authors consider the situation when the category of left \(A\)-modules \({}_A \mathcal M\) is endowed with a model structure in which a map is a fibration or a weak equivalence if and only if it is one in \(\mathcal M\). They prove then that the derived balanced product and the derived left \(A\)-module function object exist and the relation between the homotopy categories of \(\mathcal M\) and \({}_A \mathcal M\) is studied. Much of the theory is written in general for enriched model categories (over \(\mathcal M\)). Many other variants of function objects and balanced products are considered.