A Note on Homology in Categories
David A. Buchsbaum · Annals of Mathematics · 1959
exact category, although this was not the object (nor the result) of that paper.' Yoneda showed (using the existence of projectives) that Extn(A, C) is in 1-1 correspondence with the set of n-fold extensions of A by C: