サマータイムで開始時間は1時間遅れて13時からです。 日程:8月22日 土曜日時間:13時から20時待ち合わせ場所:日吉駅 12時40分場所:慶應大学矢上キャンパス(日吉駅から徒歩7分)部屋:12棟209番教室テキスト竹内外史 「層・圏・トポス―現代的集合像を求めて」p81…

告知：第一回層圏トポス合宿 - hiroki_fの日記 を11-12日@代々木オリンピックセンターで行いました。参加者は17人(宿泊9人)でした。1.圏の定義 2.関手 3.limitとcolimit までやりました。一日目の飲み会は深夜一時まで、次の日は朝9時スタートでした。kuwata…