Grothendieck universe（格罗滕迪克宇宙）：集合论中的一种“足够大的集合”，在其中做数学时，许多常见的集合运算（如取子集、并集、幂集、函数集等）都仍然留在这个集合之内。它常用于范畴论里区分“小（small）”与“大（large）”的对象，以避免集合论悖论，并让“所有对象的集合”之类的说法在一个受控的框架内成立。
（该术语也有更技术性的等价刻画，通常与不可达基数相关。）
/ˌɡroʊtənˈdiːk ˈjuːnɪvɜːrs/
“Grothendieck”来自法国数学家 Alexander Grothendieck（亚历山大·格罗滕迪克）的姓氏；“universe”意为“宇宙/总体”。这个概念在代数几何与范畴论的语境中被系统化，用来把“可控的数学世界”装进一个对集合运算封闭的“大集合”里，从而能安全地谈论“所有小范畴”“所有小集合”等对象。
A Grothendieck universe lets us treat many large collections as sets.
格罗滕迪克宇宙让我们可以把许多“很大”的集合族在形式上当作集合来处理。
To avoid size issues in category theory, we fix a Grothendieck universe and call sets inside it “small.”
为避免范畴论中的规模问题，我们先固定一个格罗滕迪克宇宙，并把其中的集合称为“小集合”。
Select Language