7 Nov
1997
7 Nov
'97
8:38 a.m.
The result that Steve Vickers cited -- that every small abelian cateogory can be fully embedded into a Grothendieck category -- actually must have come before anything proved by Lubkin, Heron, Freyd or Mitchell. I'm sure that Grothendieck knew about the canonical representation of a small abelian category into its category of abelian pre-canonical sheaves.