Sentence:  By 2.2 we see that this is a full, contravariant imbedding, and by 2.3 the image of "A" in ("A", "G") is a generating set of small <WSD>projectives</WSD>. 
Meaning of the word marked with <WSD> tags:  (mathematics) A projective member of a category.