# 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?