Exponentiable Grothendieck categories in flat Algebraic Geometry

Ivan Di Liberti, Julia Ramos González

We introduce and describe the $2$-category ${\mathsf{Grt}}_{♭}$ of Grothendieck categories and flat morphisms between them. First, we show that the tensor product of locally pres…