Remark 6.6.26. Suppose in addition that the monoidal unit of \(\Aa \) is projective and that the tensor product of two projective objects is again projective. Then the derived tensor product equips \(\D ^-(\Aa )\) with a symmetric monoidal structure. The construction, including the coherent symmetric monoidal structure and the identification of its tensor product with \(-\otimes ^{\bL }-\), is given in Example 20.1.7.
Generated from the authoritative LaTeX source.