Is the colimit of a filtered diagram of module categories in AbCat induced by a cofiltered diagram of rings equivalent to the category of modules over the limit? Given a cofiltered diagram of commutative rings $F:D\to \mathrm{CRing}$, we obtain a filtered diagram $\mathrm{Mod}(F):D^{op}\to \mathrm{ExAbCat}$ (where $\mathrm{ExAbCat}$ is the category of Abelian categories with exact additive functors between them) induced by the contravariant functor $CRing^{op}\to \mathrm{ExAbCat}$ sending the maps $f:A\to B$ in $\mathrm{CRing}$ to the restriction functor, $f^*:B\mathrm{-Mod}\to A\mathrm{-Mod}$. 
Then here's the question: 
Is $\varinjlim \mathrm{Mod}(F)$ equivalent to $(\varprojlim F)\mathrm{-Mod}$?
Thank you very much for any help!
 A: Unless I am severely mistaken, the answer to the question as stated is "no". (There is by the way some slight disagreement in the literature as to what "filtered category" means; for many, a filtered poset means a nonempty poset where any two elements have an upper bound, but in Sheaves in Geometry and Logic, Mac Lane and Moerdijk mean that any two elements have a lower bound. I don't think this affects my answer.) 
Let us take for instance the ring of $p$-adic integers as inverse limit of the (directed in either sense) system 
$$\ldots \to \mathbb{Z}/(p^{n+1}) \to \mathbb{Z}/(p^n) \to \ldots$$ 
Each of these commutative rings $A$ can be viewed as an $Ab$-enriched category, and the abelian category of left modules over $A$ can be viewed as the $Ab$-enriched category of $Ab$-enriched functors $A \to Ab$. So we are homming into $Ab$, and the usual expectation is that a contravariant hom-functor takes colimits to limits (I will tighten up this statement in a moment), but not limits to colimits; the question as stated has to do with the latter situation. 
The filtered colimit (and it would be reasonable to interpret "colimit" in a 2-categorical sense) of the system of full subcategory inclusions 
$$\ldots \to Ab^{\mathbb{Z}/(p^n)} \to Ab^{\mathbb{Z}/(p^{n+1})} \to \ldots$$ 
can be taken to be the union of these (abelian) categories. The union is just the category of those abelian groups where each object is completely annihilated by some $p^n$ (not uniformly of course; the $n$ depends on the group); in particular, they are all torsion. On the other hand, most objects in the category of modules over the $p$-adic integers, for example the $p$-adic integers itself, are not torsion. So there's your counterexample. 
But if we turn the directions around, then indeed (filtered) colimits are taken to limits. There are some slightly tricky issues to deal with; first, "morally", we really ought to be working with 2-categorical limits -- weak limits to be precise. To do it right, we should be working with the category of commutative rings as a 2-category (construing ring homomorphisms as enriched functors and taking 2-cells as natural transformations), but if I'm not mistaken, weak colimits in this 2-category of commutative rings coincide with ordinary colimits of commutative rings, and we can relax. Second, there is the issue of whether colimits of diagrams of commutative rings are identified with the corresponding colimit qua $Ab$-enriched categories -- in fact this is not true in full generality (e.g., the coproduct of $\mathbb{Z}/2$ and $\mathbb{Z}/3$ in commutative rings is the terminal ring, whereas the coproduct in $Ab$-enriched categories is gotten by taking a disjoint sum). However, considering the inclusions 
$$\text{CRing} \hookrightarrow \text{Ring} \hookrightarrow \text{AbCat}$$ 
one finds that both preserve filtered colimits (for the second inclusion, we're saying one-object $Ab$-enriched categories are closed under filtered colimits), so we make that restriction. 
With those caveats squared away, a general fact is that homming into an object like $Ab$, giving here a functor
$$Ab^{-}: \text{CRing}^{op} \to \text{AbCat},$$ 
takes (weak) filtered colimits to (weak) limits. 
