Many theorems on injectives reduce to the plain case of divisible Abelian groups by the lemma that any functor A-->B with left exact left adjoint and monic unit preserves injectives, and if A has enough injectives so does B. It is a fantastic caseof waht Peter Freyd has said: caegory theory makes what should be trivial actually trivial. The reasoning occurs in Eckmann-Schopf in 1953 but in a special case. It was first published in the Trans. AMS in 1964 by Maranda, and by Verdier the same year in mimeographed notes of SGA 4. I refer to this lemma a lot lately, and I'd like a name for it. So I'm asking here what people think of calling it Maranda-Verdier? best, Colin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]