Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-26/6/i/solution

Assume subobjects of projectives are projective. For any object , choose with projective. The kernel in a category is projective by the assumption. The derived long exact sequence gives a dimension-shifting isomorphism
because . The right side is zero because is projective. Since and the right exact functor were arbitrary, .

New to topics? Read the docs here!