一問目だけやりました。2問目が出来ない…。 練習問題 練習として以下の様な事をやってみると良いと思います。 ・二分木などの型函手及び融合則の導出 ・map f∘map g=map (f∘g)などの法則の導出。 http://nineties.github.io/category-seminar/10.html#/38 二…

第8回は実装の練習問題があったのでSMLで書いてみました。 https://gist.github.com/eldesh/5970931 fact' の実装に自信ないけど他はだいたい合ってるんじゃないでしょうか…。 練習問題 自然数型,リスト型,二分木などのhylomorphismを導出して下さい。 http:…

第一回層圏トポス米田フェスティバル@矢上祭に行ってきました. id:oto-oto-otoさんが板書の写真をアップされてます. 内容としては, 10:00から20:30まで缶詰め状態で教科書読み続け, 圏,関手,自然変換,米田のレンマについて手取り足取り教えてもらう語り合う…