Grothendieck universes

活用形複数形

plural of Grothendieck universe

日本語の意味

『Grothendieck universes』は、『Grothendieck universe』の複数形です。つまり、この単語は単数形『Grothendieck universe』の複数形として用いられます。

Several Grothendieck universes are needed to formalize the large-category constructions used in modern algebraic geometry.

現代代数幾何学で用いられる大きな圏の構成を形式化するには、グロタンディーク宇宙が複数必要です。

意味（1）

plural of Grothendieck universe