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)