6
$\begingroup$

Is it true that the pro-objects of an abelian category form a category with enough projectives?

In general, given an abelian category A, is there a canonical way to embed it a bigger abelian category A' with enough projectives (or injectives) and such that A' is universal with respect to this property?

$\endgroup$
2

2 Answers 2

3
$\begingroup$

It seems that Pro(A) does not have enough projectives in general. In Kashiwara-Schapira's book "Categories and Sheaves" they prove (corollary 15.1.3) that Ind(k-Mod) does not have enough injectives. This means, taking opposite categories, that Pro(k-Mod^{op}) does not have enough projectives.

I don't know of any universal way of adding enough projectives.

$\endgroup$
2
$\begingroup$

I'm not sure this is quite what you're looking for, but if A is small, you can consider the (contravariant) Yoneda embedding of A into the category of left-exact functors from A to Ab. This is an exact full embedding, and the product of all representable functors is an injective cogenerator (this is nontrivial; it is not even obvious that left-exact functors form an abelian category). This is proven in Freyd's book Abelian Categories, and is a key part of his proof of the Mitchell Embedding Theorem. I don't know about any universal properties of this, but it is canonical.

$\endgroup$
1
  • $\begingroup$ Is this just secretly taking the ind-category? It seems true and I have seen it somewhere I can't remember I think, but I might be being dumb. $\endgroup$ Oct 17, 2009 at 7:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.