14/10/05 15:07:33.22
>>57
もーちょいググりやすくすると
グロタンが目指したものの一つにカテゴリーによる数学および形式体系のシステム化ってのがあって
そのカテゴリーの中にトポスってのがある、
これらは基礎論系の人がキャッチしてる
もっちーら数論幾何の人もグロタンの結果使ってんだけど
グロタンが最終的にめざしてた方向とはスこち違う
とりあえず清水さんの圏論の論理学をAmazonでポチるとよい!
ここら辺にもトポスでてる
URLリンク(sites.google.com)
あとこーゆー人もいる
URLリンク(ja.wikipedia.org)
素人のブログとか
URLリンク(d.hatena.ne.jp)
トポスに詳しいひとのTwitter
URLリンク(twilog.org)