告知：第三十一回「層・圏・トポス現代的集合像を求めて」勉強会

告知：第三十一回「層・圏・トポス現代的集合像を求めて」勉強会
日程:10月9日　土曜日
時間:12時から20時
場所:慶應大学矢上キャンパス(日吉駅から徒歩7分)
部屋:14-211
テキスト
竹内外史　「層・圏・トポス—現代的集合像を求めて」
第四章　直観論理　p160から高階直感論理　予習してきてください。
教室に直接来て下さい。
層圏トポス勉強会メーリングリスト
 http://groups.google.co.jp/group/sheaf-category-and-topos
新規参加者熱烈歓迎