### Current browse context:

math.AG

### Change to browse by:

### References & Citations

# Mathematics > Algebraic Geometry

# Title: Exponentiable Grothendieck categories in flat Algebraic Geometry

(Submitted on 14 Mar 2021 (v1), last revised 10 Jun 2021 (this version, v2))

Abstract: We introduce and describe the $2$-category $\mathsf{Grt}_{\flat}$ of Grothendieck categories and flat morphisms between them. First, we show that the tensor product of locally presentable linear categories $\boxtimes$ restricts nicely to $\mathsf{Grt}_{\flat}$. Then, we characterize exponentiable objects with respect to $\boxtimes$: these are continuous Grothendieck categories. In particular, locally finitely presentable Grothendieck categories are exponentiable. Consequently, we have that, for a quasi-compact quasi-separated scheme $X$, the category of quasi-coherent sheaves $\mathsf{Qcoh}(X)$ is exponentiable. Finally, we provide a family of examples and concrete computations of exponentials.

## Submission history

From: Ivan Di Liberti [view email]**[v1]**Sun, 14 Mar 2021 09:19:22 GMT (32kb)

**[v2]**Thu, 10 Jun 2021 09:10:08 GMT (36kb)

Link back to: arXiv, form interface, contact.