EGA そのはじめのところをみると、数学の対象とは構造のついた集合であるという、ブルバキの数学観が、時代遅れになっていることがわかる。グロタンディークにとっては、数学の対象とは、表現可能な関手を表現する圏の対象である。 たとえば、ブルバキ流にいえば、実数体とは、実数全体の集合に、加法と乗法という代数的な演算を与え、さらに位相をいれたものである。EGA では、スキームXとYのS上のファイバー積とは、S上のスキームの圏の対象で、Xが表現する関手とYが表現する関手の積関手を表現するもの、というのが定義である。 数学の対象は、それが何からなりたっているかではなく、どういう役割を果たしているかが重要だ、という視点の転換がそこにある