The tensor embedding for a grothendieck cosmos

Abstract

While the Yoneda embedding and its generalizations have been studied extensively in the literature, the so-called tensor embedding has only received little attention. In this paper, we study the tensor embedding for closed symmetric monoidal categories and show how it is connected to the notion of geometrically purity, which has recently been investigated in works of Enochs, Estrada, Gillespie, and Odabas ¸ı. More precisely, for a Grothendieck cosmos-that is, a bicomplete Grothendick category V with a closed symmetric monoidal structure-we prove that the geometrically pure exact category (V, E ⊗ ) has enough relative injectives; in fact, every object has a geometrically pure injective envelope. We also show that for some regular cardinal λ, the tensor embedding yields an exact equivalence between (V, E ⊗ ) and the category of λ-cocontinuous V-functors from Pres λ (V) to V, where the former is the full V-subcategory of λ-presentable objects in V. In many cases of interest, λ can be chosen to be ℵ 0 and the tensor embedding identifies the geometrically pure injective objects in V with the (categorically) injective objects in the abelian category of V-functors from fp(V) to V. As we explain, the developed theory applies e.g. to the category Ch(R) of chain complexes of modules over a commutative ring R and to the category Qcoh(X) of quasi-coherent sheaves over a (suitably nice) scheme X. ( * ) Any locally finitely presentable (= locally ℵ 0 -presentable) abelian 1 category C can be equipped with the categorically pure exact structure, E ℵ 0 , consisting of exact sequences 0 → X → Y → Z → 0 in C for which the sequence 0 −→ Hom C (C, X) −→ Hom C (C, Y) −→ Hom C (C, Z) −→ 0

Grothendieck enriched categories

“…We show the fact that they are locally finitely presentable bases. This fact is due to [HoOd19]. We also explain their examples.…”

“…If X is quasi-compact and quasi-separated, then Qcoh(X) satisfies the condition (C1). Furthermore Qcoh(X) also fulfills the condition (C2) if X is projective (see [HoOd19,Example 6.3]).…”