>>215だけ一つ聞いていい？
その分類だとグロタンディークは何なの？

～の延長とかは親切じゃないからわざと適当に書いている
しかし、トポスは普通の論理や集合論とは違う所もある
関係性がベースなので、狭義の集合論では扱い難い曖昧な構造や対象も扱いやすい
最近はその威力が段々わかってきたという感じになっている。スタックやHoTTでも
そういう柔軟性が活きている
あんたみたいな基準だとこういうざっくりした話ができないね