その後ウィリアム・ローヴェアが集合論のモデルとしての可能性を見いだし、強制法との関連、ドリーニュの定理のとらえ直しなど記号論的な認識が深められたが、グロタンディークの隠遁後に彼に近い学者がトポスの理論に貢献しなかったことは彼と他の数学者たちとの間の確執の一因になった。