Descargo de responsabilidad: yo estoy publicando esta respuesta a la copia de seguridad de Zhen Lin respuesta a la final que Mac Lane es responsable de que la terminología. Por desgracia, no puedo encontrar una primera mano de comilla por Mac Lane online, pero cuando me hice la misma pregunta hace unos años, me hicieron un seguimiento de muchas fuentes, pero no puedo encontrar mis notas en el que, por el momento, así que estoy citando mi memoria no confiable y todo tiene que ser tomado con un grano de sal. Sin embargo, es definitivamente vale la pena conseguir copias de las referencias que he proporcionado a continuación que no están disponibles en línea.
Edit 3: En pocas palabras, mi respuesta se reduce a la siguiente: Organizar una copia de la edición 47 (1) (1998) de Mathematica Japonica y leer los artículos de Mac Lane (página 156) y Kinoshita (página 155). Fragmento de las vistas de ese tema están disponibles en Google Libros.
Aquí un poco más extenso de la cita de las "Notas" en las páginas 77f de Mac Lane Categorías para el Trabajo Matemático:
El Yoneda Lema hizo una aparición temprana en la obra de la Japonesa pioneer
N. Yoneda (comunicación privada para Mac Lane) [1954]; con el tiempo, su
importancia ha crecido.
Representable functors probablemente apareció por primera vez en la topología en forma de
"universal ejemplos", tales como el universal ejemplos de cohomology operaciones (por
instancia, en J. P. Serre de 1953 cálculos de la cohomology, modulo 2, de Eilenberg-
Mac Lane espacios).
Yo creo que en el primer párrafo no es simplemente una coma que falta entre los paréntesis y los corchetes refiriéndose a la de 1954, artículo por
N. Yoneda, En la homología de la teoría de módulos, J. Fac. Sci. Tokio,
S. I. 7, 193-227 (1954). MathSciNet revisión por H. Cartan: MR 68832 (en francés). Edit: por supuesto, esto también podría ser interpretada en el sentido de que la reunión entre Mac Lane y Yoneda en la Gare du Nord (ver más abajo) tuvo lugar en 1954.
Si recuerdo correctamente, Yoneda no demostrar su lema en ese artículo (véase también la cita de Freyd en la Edición 1 de la pregunta). Sin embargo, la prueba de que la izquierda derivados de functors de un (a la derecha exacto) el functor $F: {}_R\mathbf{Mod} \to \mathbf{Ab}$ puede ser calculada como $L_{q}F(A) = [\operatorname{Ext}_{R}^{q}((A,{-}),F]$ donde el lado derecho indica el abelian grupo de transformaciones naturales de la $q$th Yoneda Ext a $F$. En el transcurso de la prueba que esencialmente establece la Yoneda Lema para $R$-módulos (que es el caso de $q = 0$ del curso). Véase también Yoneda del documento de seguimiento En $\operatorname{Ext}$ y exacta de las secuencias, J. Fac. Sci. Univ. Tokio Secta. I 8 (1960) 507-576. MathScinet revisión por G. S. Rinehart: MR 226854.
Edit 4: puede ser off-topic, pero creo que es todavía vale la pena señalar que no es tan conocido como se merece: Yoneda del segundo documento presenta lo que hoy se denomina exacta de la categoría en el sentido de Quillen, bajo el nombre de cuasi-abelian $\mathscr{S}$-categoría. Véase la nota histórica en la p.3f de mi artículo para más sobre esto (versión preliminar disponible como arXiv:0811.1480 donde la nota es en la p.4). Tenga en cuenta que Yoneda del papel precede a Quillen seminales Mayor algebraicas $K$-teoría, I, Springer LNM 341 (1973), 85-147 por 13 años. MathSciNet revisión de Quillen del papel por S. M. Gersten: MR 338129.
Además, no es la historia que Yoneda y Mac Lane se reunió en París en la Gare du Nord, donde Mac Lane aprendido acerca de él:
Cuando él [Yoneda] llegó a Princeton, Eilenberg se había movido (año sabático?) a
Francia (o tal vez, Eilenberg NOS dejó justo después de Yoneda de la llegada). Así,
Yoneda se fue a Francia un año más tarde. En ese momento, Saunders Mac Lane
estaba de visita en la categoría de los teóricos de la, al parecer, para obtener la información para
escribir su libro (o la anterior encuesta), y conoció a la joven Yoneda, entre
otros. La entrevista comenzó en un Café en la estación Gare du Nord, y se fue
en y en, y se continuó incluso en Yoneda del tren hasta su
de la salida. El contenido de esta charla fue posteriormente nombrado por la Mac Lane como
Yoneda lema. Así, el famoso Yoneda lema nació en la Gare du Nord.
Esto debe haber sido una buena memoria para Yoneda; le oí decir esto
historia muchas veces. No sé si Mac Lane arregló para salir de la
el tren antes de la salida!
Edit 2: Este es un fragmento de un correo electrónico por Yoshiki Kinoshita en ocasión de Yoneda de la muerte. De lo que pude ver en Google Libros el párrafo anterior apareció en forma pulida en la página 155 en cuestión 47 (1) (1998) de Mathematica Japonica. Véase también Kinoshita el artículo de Un bicategorical análisis de $E$-categorías, Mathematica Japonica, 47(1), 157-169, 1998.
Ver también el primer párrafo en la página.3 de la C. McLarty del artículo Saunders Mac Lane y el Universal en Matemáticas, Scientiae mathematicae Japonicae 19 (2006) 25-28:
Más que un recuento de la frecuencia dije colaboración con Eilenberg, centrémonos en el más famoso lema en la categoría de teoría. Muchos aspectos de Mac Lane del pensamiento son capturados en la historia y de las matemáticas de este resultado. Mac Lane fue un apasionado de la organización y la construcción del conocimiento de la categoría de teoría. Él sabía Nobuo Yoneda del trabajo en la homología y así, cuando se reunieron en París Mac Lane con entusiasmo habló con él acerca de sus más amplio, inédita perspectiva sobre los métodos. Mac Lane del cuidado como un historiador de las matemáticas muestra en su cuenta de aprendizaje de este lema de Yoneda en una plataforma de la estación Gare du Nord a la espera de Yoneda del tren (Mac Lane, 1998b).
Referencia 1998b en McLarty es: Mac Lane, El Yoneda lema, Mathematica Japonica 47, 156, que por desgracia no pude localizar en línea.
Por último, hay un pasaje en Mac Lane autobiografía contando la historia en la Gare du Nord y recuerdo claramente que Buchsbaum, dijo que se enteró sobre el Yoneda Lema de Mac Lane en conferencias sobre la categoría de teoría.
