On the tensor product of well generated dg categories
Abstract
We endow the homotopy category of well generated (pretriangulated) dg categories with a tensor product satisfying a universal property. The resulting monoidal structure is symmetric and closed with respect to the cocontinuous RHom of dg categories (in the sense of Toën [26]). We give a construction of the tensor product in terms of localisations of dg derived categories, making use of the enhanced derived Gabriel-Popescu theorem [21]. Given a regular cardinal alpha, we define and construct a tensor product of homotopically alpha-cocomplete dg categories and prove that the well generated tensor product of alpha-continuous derived dg categories (in the sense of [21]) is the alpha-continuous dg derived category of the homotopically alpha-cocomplete tensor product. In particular, this shows that the tensor product of well generated dg categories preserves alpha-compactness.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2020
- DOI:
- 10.48550/arXiv.2002.09991
- arXiv:
- arXiv:2002.09991
- Bibcode:
- 2020arXiv200209991L
- Keywords:
-
- Mathematics - Category Theory;
- 18G80;
- 18G35;
- 18M05;
- 18E35
- E-Print:
- doi:10.1016/j.jpaa.2021.106843