* The Maranda-Verdier lemma?
@ 2011-10-06 19:14 Colin McLarty
0 siblings, 0 replies; only message in thread
From: Colin McLarty @ 2011-10-06 19:14 UTC (permalink / raw)
To: categories
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/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-10-06 19:14 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-10-06 19:14 The Maranda-Verdier lemma? Colin McLarty
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).