トポス (数学)
グロタンディークはスキームとトポスとを同じ年に見いだしたと『収穫とまいた種と』で回想している。実際にグロタンディーク・トポスの一般論が整備されたのはSGA IVでの彼自身による発表の中でだった。その後ウィリアム・ローヴェアが集合論のモデルとしての可能性を見いだし、強制法との関連、ドリーニュの定理のとらえ直しなど記号論的な認識が深められたが、グロタンディークの隠遁後に彼に近い学者がトポスの理論に貢献しなかったことは彼と他の数学者たちとの間の確執の一因になった。またリジッド幾何やSynthetic Differential Geometryなど「位相構造」より繊細な「微分構造」をトポスを通じて考える幾何学も得られている。