なんやかんやで圏論勉強会をやることになりました。 やったこと 教科書はBasic Category Theory for Computer Scientists (Foundations of Computing)です。 各example,exerciseに担当者を割り当てて、解説してもらう形式で進めることになりました。 今回は圏の定義と、圏の例を2つほどやりました。 読書記録 http://proofcafe.co.cc/ その他 参加者は7人(ぐらい)でした。 ustの視聴者数は50人ぐらいだったらしいです。なにそれこわい 会場を貸してくれたニューキャストさんすごい。