Origin of Grothendieck universes

Grothendieck universes were first introduced at the beginning of the Chapter 1 titled "Préfaisceaux" (page 185) of:

Grothendieck, A., & Verdier, J. L. (1972). Volume 1 of Théorie des Topos et Cohomologie Etale des Schémas. Séminaire de Géométrie Algébrique du Bois-Marie 1963-1964 (SGA 4). Lecture Notes in Mathematics. doi:10.1007/bfb0081551


The first use of Grothendieck universes that I'm aware of is in Zermelo's 1930 paper "Über Grenzzahlen und Mengenbereiche" (Fundamenta Mathematicae 16, pp. 29–47). But there might be earlier occurrences of the concept, most likely in work of von Neumann in the 1920's.

Tags:

Set Theory

Category Theory

Reference Request

Related

Proving the area of circle and hyperbolic function is the same Evaluate $\sum_{n,k} \binom{n}{k}^{-1} $ Does an analogue of the sphere theorem hold in higher dimensions? If $a^2 + b^2 + c^2$ is divisible by $16$, then show that$ a^3 + b^3 + c^3$ is divisible by $64$. Where $a, b, c \in \mathbb{Z}$. Definition of a bounded, nonempty subset of real numbers. Is a sequential limit of homeomorphisms a homeomorphism? Is a homogeneous Banach space on $\mathbb T$ always well defined? A closed form for $ \int_{0}^{\frac{\pi}{2}}{\left(\frac{\sin{\left(nx\right)}}{\sin{x}}\right)^{2p}\,\mathrm{d}x} $? Understanding sets with an uncountable number of isolated points in $\mathbb{R}$. What is the domain of $f^2$ if $f(x)=\sqrt{x+2}$ matrix expression for $e^{iA}Be^{iA}$ in terms of anticommutators? Can elementary row operations be done by both left and right multiplication?

Recent Posts