Origen de los universos de Grothendieck

Question

¿Alguien sabe en qué artículo se introdujeron por primera vez los universos de Grothendieck? He mirado el documento de Grothendieck 1957 papel . No sé leer en francés, así que no estoy del todo seguro, pero no pude encontrar ninguna definición similar a la de los universos de Grothendieck en ese documento. ¿Me lo he perdido o es que los universos de Grothendieck se introdujeron por primera vez en un documento diferente? Supongo que si Grothendieck fue quien introdujo los universos de Grothendieck, entonces los definió con un nombre diferente.

Answer 1

Los universos de Grothendieck se introdujeron por primera vez al principio del capítulo 1 titulado "Préfaisceaux" ( página 185 ) de:

Grothendieck, A., y Verdier, J. L. (1972). Volumen 1 de Teoría de Topos y Cohomología Estándar de Esquemas. Seminario de geometría algebraica Bois-Marie 1963-1964 (SGA 4) . Lecture Notes in Mathematics. doi:10.1007/bfb0081551

Answer 2

El primer uso de los universos de Grothendieck que conozco es en el artículo de Zermelo de 1930 "Über Grenzzahlen und Mengenbereiche" (Fundamenta Mathematicae 16, pp. 29-47). Pero es posible que el concepto aparezca antes, probablemente en el trabajo de von Neumann de los años veinte.