Proposition 6.3.2.18 of Higher Algebra identifies $Mod\_{Sp}(Pr^L)$, the symmetric monoidal category of right modules over the monoidal category $Sp$ of spectra in $Pr^L$ the category of presentable categories, with the full subcategory $Pr^L\_{St}$ of stable presentable infinity categories. In particular Lurie proves that the functor $-\otimes Sp: Pr^L \to Pr^L\_{St}$ is a localization functor.


Question 1: Is there an analogue for ordinary (non $\infty$) categories? In other words, is $-\otimes Ab: Pr^L \to Mod\_{Ab}(Pr^L)\cong Pr^L\_{Ab}$ a localization functor from the (ordinary) category of presentable categories to the (ordinary) category of presentable abelian categories?


Proof strategy: I believe that Lurie's argument can be modified to prove that $-\otimes Ab$ is a localization functor if I could prove that every presentable category that is a right $Ab$-module is also abelian.


I can verify that $C$ is [pre-abelian](http://ncatlab.org/nlab/show/pre-abelian+category):


* Since $C$ is presentable we know that that for any $a \in Ab$ the functor $- \otimes a$ has a right adjoint $[a, -]$. Thanks to the appendix of [this paper](http://www.tac.mta.ca/tac/volumes/9/n4/n4.pdf) (shared with me by Zhen Lin) we have that $C$ is enriched and tensored in $Ab$. Moreover, the $Ab$ action corresponds to the tensor.
* Since $C$ is presentable, it is complete and cocomplete. In particular it has a $0$ object, biproducts, kernels, and cokernels.


I cannot verify that $C$ is actually [abelian](http://ncatlab.org/nlab/show/abelian+category) which requires that:


* Every monomorphism is a kernel and every epimorphism is a cokernel.


Alternate strategy:


In Lurie's proof (summarized well in 5.3.1 of [Groth's notes](http://arxiv.org/abs/1007.2925)) he uses the description of $C \otimes Sp = Fun^R(C^{op}, Sp)$ and the fact that $Sp = lim(S \xrightarrow{\Omega} S \xrightarrow{\Omega} \ldots)$ to show that $C \otimes Sp$ is the stabilization $Sp(C)$. Then he shows stabilization of a stable category is itself.


Mimicking this, I can show that $C \otimes \mathbb{Z} \cong Fun^R(C^{op}, \mathbb{Z})$ which is obviously pre-abelian since it is presentable and $Ab$-enriched.


* Is $C \otimes \mathbb{Z}$ abelian? I think it might be because it is a subcategory of a presheaf category.
* If $C$ is already abelian does the tensor map $C \otimes \mathbb{Z} \to C$ give an equivalence?



Lower Algebra: Modules over the monoidal category of abelian groups
A locally presentable category $\mathcal{C}$ has a (unique) structure of an $Ab$-module if and only if it is additive. Such a category need not be abelian.


This is one reason to prefer the setting of stable $\infty$-categories to the theory of abelian categories. The identification of presentable stable infty-categories with $Sp$-modules implies (among other things) that there is a robust theory of tensor products of presentable stable infty-categories. In the abelian setting, developing an analogous theory requires some fairly restrictive assumptions.


Edit: Actually, I think it's not as bad as I suggested; there's a well-behaved tensor product on Grothendieck abelian categories. But that's a smaller collection of categories than the $Ab$-modules.


