告知：第三十一回「層・圏・トポス 現代的集合像を求めて」勉強会日程:10月9日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:14-211 テキスト 竹内外史 「層・圏・トポス—現代的集合像を求めて」 第四章 直観論理 p160か…