出席してきました。本当に圏論の前提知識なしに米田のレンマまでぶっ通しで終わらせました。なんてひど・・・スピーディーな進行！
しかし、米田祭だからといって米田のレンマを二度も証明するとは思いませんでした！！
参加した方のために、参考資料を残しておきます。
- P74の米田のレンマが対象Cについて自然だという話は、過去の記事を参照して下さい
- (米田のレンマの記述に使った)米田埋め込みの例は、過去の檜山さんのエントリがすばらしいです*1
- 檜山さんのこちらの補足も面白いです
- 今日の圏、関手、自然変換がわかれば、自分自身を出力するプログラムという記事を読めばモナドの定義まで一気にいけます。
10/11 追記
id:oto-oto-otoさんが板書をupしてくれました。
