>>57
もーちょいググりやすくすると
グロタンが目指したものの一つにカテゴリーによる数学および形式体系のシステム化ってのがあって
そのカテゴリーの中にトポスってのがある、
これらは基礎論系の人がキャッチしてる
もっちーら数論幾何の人もグロタンの結果使ってんだけど
グロタンが最終的にめざしてた方向とはスこち違う
とりあえず清水さんの圏論の論理学をAmazonでポチるとよい！

ここら辺にもトポスでてる
https://sites.google.com/site/kota3takeuchi/announcement/category_seminar_3/sato

あとこーゆー人もいる
https://ja.wikipedia.org/wiki/%E3%82%A6%E3%82%A3%E3%83%AA%E3%82%A2%E3%83%A0%E3%83%BB%E3%83%AD%E3%83%BC%E3%83%B4%E3%82%A7%E3%82%A2

素人のブログとか
http://d.hatena.ne.jp/m-hiyama/20130426/1366947189

トポスに詳しいひとのTwitter
http://twilog.org/ym_duality/search?word=%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF&;ao=a