Derived tensor product
where and are the categories of right A-modules and left A-modules and D refers to the homotopy category (i.e., derived category). By definition, it is the left derived functor of the tensor product functor .
- Lurie, J., Spectral Algebraic Geometry (under construction)
- Lecture 4 of Part II of Moerdijk-Toen, Simplicial Methods for Operads and Algebraic Geometry
- Ch. 2.2. of Toen-Vezzosi's HAG II