Mitchell's embedding theorem Mitchell's embedding theorem http://en.wikipedia.org/wiki/Mitchell%27s_embedding_theorem tells us that every small abelian category ${\cal A}$ has a full, faithful and exact embedding $V : {\cal A} \longrightarrow \mathbf{Mod}_R$ in a category of $R$-modules, for some ring $R$.
Now, $V$ being exact is the same as saying that it preserves all finite limits and colimits.
I would be glad to know if Mitchell's embedding theorem could be improved in order to have that $V$ preserves also:
(a) arbitrary products, and (b) filtered colimits.
Or, alternatively,
(c) injective objects.
Or, which conditions on the abelian category ${\cal A}$ would guarantee (a) and (b), or (c)? Are there any results in these directions?
The reason behind my question is the following: I realized that my answer to my previous question vanishing theorems is wrong: sheaf cohomology is not defined uniquely in terms of exact sequences, so the fact that $V$ is exact doesn't guarantee that $H^n(X; {\cal F}) = H^n(X; V({\cal F}))$ as I claimed. But, if I had (a) and (b), I could say that $V$ preserves Godement resolutions. And if I had (c), $V$ would preserve injective resolutions.
 A: EDIT: I'm completely rewriting this in detail now that I think I've worked it out. Lots of possibilities for mistakes here, so stay alert!
I claim that the generalization to include $(a)$ fails. My counterexample goes like this... Take $A$ to be any small, complete (that's small AND complete) category with no nonzero projectives. If the embedding into $R-mod$ given by Mitchell preserved arbitrary products, then it would be continuous since $A$ has equalizers and any limits can be built from products and equialisers (where equalisers are preserved by exactness). 
Now, for each $x \in R-mod$, consider the index set 
$I = \{f: x \rightarrow Va \vert a\in A\} = \bigcup_{a \in A} Hom(x, Va)\}$. (This is a set since hom-sets are small, and all of $A$ is a set.) Now, any $x \rightarrow Va$ can be realized as $x \rightarrow Va \rightarrow Va$ (with the identity), so we have verified the "solution set condition" of the adjoint functor theorem. If all is good, we may conclude that this embedding has a left adjoint $R-mod \rightarrow A$. 
Now, left adjoints of exact functors preserve projective objects (see Weibel). Now, if we choose some $b \in A$ that doesn't map to zero under the embedding $V$, and some free module $a \in R-mod$ that maps nontrivially to $b$, then by the bijection on hom-sets we get from the adjunction, we may conclude that $a$ maps to some nonzero element in $A$. But this is a contradiction, as the only projective elements of $A$ are zero.
How does that look?
