告知:第四回「層・圏・トポス 現代的集合像を求めて」勉強会
前回より開始時間が一時間早まってます。また部屋が変わっています。
日程:6月27日 土曜日
時間:12時から19時
待ち合わせ場所:日吉駅 11時40分
場所:慶應大学矢上キャンパス(日吉駅から徒歩7分)
部屋:12棟209番教室
テキスト
竹内外史 「層・圏・トポス―現代的集合像を求めて」
p73 第二章 圏の章 米田のレンマから
新規参加者は
hiro.k.f{あっとv(^^)}ヂーメール.com
に予め連絡ください。
6月30日に行われる檜山セミナーに出るとより理解が深まると思います。
告知:「技術者/プログラマのためのモナドと圏論」セミナー(モニャドセミナー) 第3回 - 檜山正幸のキマイラ飼育記