nLab Grothendieck universe

Contents

Context

Foundations

foundations

The basis of it all

 Set theory

set theory

Foundational axioms

foundational axioms

Removing axioms

Universes

Contents

Idea

Problems of set theory arise by the unjustified recursion of the naive notion of a ‘collection of things.’ If ‘Col’ is one notion of collections (such as ‘Set’ or ‘Class’), then the notion ‘Col of all Cols’ is in general problematic, as it is subject to the construction of Russell-style paradoxes (although it is not the only source of such paradoxes).

One way out is to consider a hierarchy of notions of collections: Postulate that the collection of all ‘Col’s is not a ‘Col’ itself but instead is another notion of collection, ‘Col+’. We may thus speak of the ‘Col+ of all Cols.’ Similarly, the collection of all ‘Col+’-type collections may be taken to be ‘Col++,’ and so on.

One formalization of this idea is that of a Grothendieck universe. This is defined to be a set U U that behaves like a ‘set+ of all sets’ in that all the standard operations of set theory (union, power set, etc.) can be performed on its elements.

Although developed for application to category theory, the definition is usually given in a form that only makes sense in a membership-based set theory. On this page, we consider only that version; for a form that makes sense in structural set theory, please see universe in a topos.

Definition

A Grothendieck universe is a pure set U U such that:

  1. for all uU u \in U and tut\in u, we have tU t \in U (i.e., U U is transitive);
  2. for all uU u \in U , we have 𝒫(u)U \mathcal{P}(u) \in U ;
  3. U \varnothing \in U ;
  4. for all IU I \in U and functions u:IU u: I \to U , we have iIu iU \displaystyle \bigcup_{i \in I} u_{i} \in U .

Some authors leave out (3), which allows the empty set \varnothing itself to be a Grothendieck universe. Other authors use the set \mathbb{N} of natural numbers in place of \empty in (3), which prevents the countable set V ω V_{\omega} of hereditarily finite sets from being a Grothendieck universe.

Consequences

From the definition above, one can prove additional closure properties of a universe U U , including the usual codings in pure set theory of function sets and cartesian products and disjoint unions of sets, using the following lemmata:

Lemma

If t t is a subset of u u and uU u \in U , then tU t \in U .

Proof

By (2), 𝒫(u)U \mathcal{P}(u) \in U . Then as t𝒫(u) t \in \mathcal{P}(u) , we have tU t \in U by (1).

Lemma

If u,vU u, v \in U , then uvU u \cup v \in U .

Proof

As U \empty \in U by (3), so are =df𝒫() \star \stackrel{\text{df}}{=} \mathcal{P}(\empty) and TV=df𝒫() TV \stackrel{\text{df}}{=} \mathcal{P}(\star) by (2). Even in constructive mathematics, 2={,} 2 = \{ \bot,\top \} is a subset of TV TV , so 2U 2 \in U by Lemma 1. Then (u,v) (\bot \mapsto u,\top \mapsto v) is a function from 2U 2 \to U , so the union uv u \cup v in U U by (4).

Then using their usual encodings in set theory:

  • the nullary cartesian product \star is 𝒫() \mathcal{P}(\varnothing) as in the previous proof;
  • the binary cartesian product u×v u \times v is a subset of 𝒫(𝒫(uv)) \mathcal{P}(\mathcal{P}(u \cup v)) ;
  • the general cartesian product iIu i \displaystyle \prod_{i \in I} u_{i} is a subset of 𝒫(I× iIu i) \displaystyle \mathcal{P} \left( I \times \bigcup_{i \in I} u_{i} \right) ;
  • the nullary disjoint union is \varnothing ;
  • the binary disjoint union uv u \uplus v is a subset of 2×(uv) 2 \times (u \cup v) ;
  • the general disjoint union iIu i \displaystyle \biguplus_{i \in I} u_{i} is a subset of I× iIu i \displaystyle I \times \bigcup_{i \in I} u_{i} ;
  • the set of functions uv u \to v is a subset of 𝒫(u×v) \mathcal{P}(u \times v) .

Terminology: Small/Large

Given a universe U U , an element of U U is called a U U -small set, while a subset of U U is called U U -moderate. Every U U -small set is U U -moderate by requirement (1) of the definition. If the universe U U is understood, we may simply say small and moderate.

The term U U -large is ambiguous; it sometimes means ‘not small’ but sometimes means the same as ‘moderate’ (or ‘moderate but not small’). The reason is that language that distinguishes ‘small’ from ‘large’ in terms of sets and proper classes translates fairly directly into terms of U U -small and U U -moderate sets. To be precise, if we redefine ‘set’ to mean ‘U U -small set,’ then every proper class in this new world of sets will be represented by a U U -moderate set (a subset of U U ). Those sets that are not even U U -moderate are ‘too large’ to be translated into language of proper classes.

(Note, though, that not all U U -moderate sets represent proper classes in the language of set theory relative to the world of U U -small sets, only those that are first-order definable from U U -small sets. In fact, if κ \kappa is the cardinality of the universe U U , then there are only κ \kappa proper classes relative to U U , but there are 2 κ 2^{\kappa} -many U U -moderate sets.)

As defined above, these concepts violate the principle of equivalence, as two sets may be isomorphic yet have different properties with respect to U U . However, a set which is isomorphic to a U U -small or U U -moderate set is called essentially U U -small or U U -moderate; these respect the principle of equivalence.

Axiom of Universes

If U U is a Grothendieck universe, then it is easy to show that U U is itself a model of ZFC (minus the axiom of infinity unless you modify (3) to rule out countable universes). Therefore, one cannot prove in ZFC the existence of a Grothendieck universe containing \mathbb{N} , and so we need extra set-theoretic axioms to ensure that uncountable universes exist. Grothendieck’s original proposal was to add the following axiom of universes to the usual axioms of set theory:

  • For every set s s , there exists a universe U U that contains s s , i.e., sU s \in U .

In this way, whenever any operation leads one outside of a given Grothendieck universe (see applications below), there is guaranteed to be a bigger Grothendieck universe in which one lands. In other words, every set is small if your universe is large enough!

Later, Mac Lane pointed out that often, it suffices to assume the existence of one uncountable universe. In particular, any discussion of ‘small’ and ‘large’ that can be stated in terms of sets and proper classes can also be stated in terms of a single universe U U (with ‘large’ meaning ‘U U -moderate but not U U -small’).

Large cardinals

If U U is a Grothendieck universe, then one can prove in ZFC that it must be of the form V κ V_{\kappa} , where κ \kappa is a (strongly) inaccessible cardinal (Williams). Here, V κ V_{\kappa} is the κ \kappa -th set in the von Neumann hierarchy of pure sets. Conversely, every such V κ V_{\kappa} is a Grothendieck universe. Thus, the existence of Grothendieck universes is equivalent to the existence of inaccessible cardinals, and so the axiom of universes is equivalent to the ‘large cardinal axiom’ that ‘there exist arbitrarily large inaccessible cardinals.’

It is worth noting, for those with foundational worries, that the axiom of universes is much, much weaker than many large cardinal axioms which are routinely used, and believed to be consistent, by modern set theorists. Of course, one cannot prove the consistency of any large cardinal axiom (if it really is consistent) except by invoking a stronger one.

Structural Version

An equivalent concept (at least for the purposes of category theory) can also be defined in structural set theories (like ETCS). Please see universe in a topos.

Examples

The set V ω V_{\omega} of hereditarily finite sets (finite sets of finite sets of…) is a Grothendieck universe, unless you phrase axiom (3) in the definition to specifically rule it out. In this way, the axiom of infinity can be seen as a simple universe axiom (stating that at least one universe exists), and Mac Lane’s axiom that an uncountable universe exists is merely one step further.

If you refrain from using the axiom of universes (except perhaps once, to get \mathbb{N} as above), then the set of all sets (or cardinal numbers) that you can actually construct is a Grothendieck universe. Of course, you cannot possibly have proved that this universe exists, but the intuition that you ought be able to form the collection of ‘everything that we’ve used so far’ is the justification for the axiom of universes.

Similarly, if you use the axiom of universes at most n n times, then the set of all sets that you can construct with this restriction is a Grothendieck universe. Thus, we can find a sequence U 1U 2U 3 U_{1} \in U_{2} \in U_{3} \in \ldots of universes. The axiom of replacement then allows us to form the union (a directed colimit) n<ωU n \bigcup_{n \lt \omega} U_{n} . This will not be a universe (it violates (4), by definition), but we can use the axiom of universes again to show that it is in some universe U ω U_{\omega} . Proceeding in this way, we can construct a tower of universes indexed by the ordinal numbers.

The set of all sets that can be constructed using the axioms of ZFC together with the axiom of universes is, if it exists, again a universe which contains all the U α U_{\alpha} constructed above. Of course, it cannot be shown to exist using only ZFC and the axiom of universes; the axiom of universes is not the final word on large cardinal axioms by any means.

Applications

Let USet U Set be the category of U U -small sets, a full subcategory of Set. It is common, especially when U U is understood, to redefine Set Set to mean USet U Set ; here we keep the distinction for clarity. However, when Set Set means USet U Set , sometimes SET SET is used to mean the category of all sets.

A category whose set of morphisms is (essentially) U U -small may be called a U U -small category; it can also be thought of as an internal category in USet U Set . A category whose hom-sets are all (essentially) U U -small may be called locally U U -small; it can also be thought of as an enriched category over USet U Set . Every U U -small category is locally U U -small.

A category whose set of morphisms is U U -moderate may be called a U U -moderate category; again ‘U U -large’ may mean ‘not U U -small,’ ‘U U -moderate,’ or both. In practice, most U U -moderate categories are locally U U -small and vice versa, but there is no theorem that this must be true. Note that USet U Set itself is U U -moderate and locally U U -small but not U U -small.

All notions of category theory that reference size, such as completeness and local presentability, must then be relativized to U U . In order to move from a category defined in one universe to another, we need a procedure of universe enlargement.

Presheaf Categories

Let C C be a U U -small category. Then the category of U U -presheaves on C C (the functor category [C op,USet] [C^{op},U Set] ) is also U U -moderate and locally U U -small but not U U -small unless C C is empty. (USet U Set itself is the special case of this where C C is the point.) These arguments go as follows:

  • UPSh(C) U PSh(C) is U U -moderate: An upper bound for the size of [C op,USet] [C^{op},U Set] , hence of the set Obj([C op,USet]) Obj([C^{op},U Set]) is the size of {F:Obj(C)×Mor(C)U} \{ F: Obj(C) \times Mor(C) \to U \} , where both Obj(C) Obj(C) and Mor(C) Mor(C) are in USet U Set . Hence, we are looking at the cardinal number |U| |u|×|v| |U|^{|u| \times |v|} , where u=Obj(C) u = Obj(C) and v=Mor(C) v = Mor(C) . Use the fact that any Grothendieck universe must be infinite (since it has \varnothing , 𝒫() \mathcal{P}(\varnothing) , etc.), and the result follows from cardinal arithmetic that κ λ=κ \kappa^{\lambda} = \kappa if λ<κ \lambda \lt \kappa and κ \kappa is infinite.

  • UPSh(C) U PSh(C) is locally U U -small: An upper bound for the size of the set of morphisms between two functors F,G:C opUSet F,G: C^{op} \to U Set is the disjoint union indexed by the objects c c of C C over the U U -sets G(c) F(c) G(c)^{F(c)} . Now G(c) F(c)U G(c)^{F(c)} \in U as it is a function set and cObj(C)G(c) F(c) \displaystyle \bigcup_{c \in Obj(C)} G(c)^{F(c)} by the assumption that unions stay in U U .

Now let C C be a U U -moderate category (and not small). Then the category of U U -presheaves on C C is not even locally U U -small, nor is it even U U -moderate (it is ‘too large’). However, it is locally U U -moderate. Also, it is quite possible, if C C is a U U -moderate site, that the category of U U -sheaves on C C is U U -moderate and locally U U -small.

Note: Here we are considering presheaves on C C with values in U U -small sets. In many cases, a more appropriate notion of ‘U U -small presheaf’ is that discussed at small presheaf, namely a presheaf that is a U U -small colimit of representables.

Alternative Approaches

  • A different, potentially much more elegant and natural proposal for solving the problem to be solved by Grothendieck universes is that described at category of all sets. Don’t get your hopes up too high, though; even if it works, it isn’t quite the category theory you’re used to.

References

The original account:

Further early discussion:

  • Saunders MacLane, One universe as a foundation for category theory, In: Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics 106, Springer (1969) 192-200 [doi:10.1007/BFb0059147]

Comprehensive historical review with further references:

Most texts on category theory and related topics mention the topic of Grothendieck universes without providing details. Exceptions are:

Discussions spelling out more details:

The proof that a Grothendieck universe is equivalently a set of κ \kappa -small sets for κ \kappa an inaccessible cardinal is in

  • N. H. Williams, On Grothendieck universes, Compositio Mathematica, tome 21 no 1 (1969) (numdam)

SGA uses universes and much of modern results in algebraic geometry use general results from SGA, including Wiles proof of Fermat’s theorem. Colin McLarty discusses how to remove the need for universes in Wiles’ proof in

  • Colin McLarty, What does it take to prove Fermat’s last theorem? – Grothendieck and the logic of number theory, pdf

Last revised on June 4, 2023 at 12:09:54. See the history of this page for a list of all contributions to it.