# Embedding abelian categories to have enough projectives

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?

-
Matthew Emerton's answer sbseminar.wordpress.com/2009/09/10/20-questions/#comment-6499 to question 14 would be worth looking at. –  Greg Stevenson Oct 17 '09 at 7:26
Thanks! Do you have a reference for the proof? –  Akhil Mathew Oct 18 '09 at 3:40