圏論勉強会『けんろん!〜休日カフェタイム〜』に行ってきました
なんやかんやで圏論勉強会をやることになりました。
やったこと
- 教科書はBasic Category Theory for Computer Scientists (Foundations of Computing)です。
- 各example,exerciseに担当者を割り当てて、解説してもらう形式で進めることになりました。
- 今回は圏の定義と、圏の例を2つほどやりました。
その他
- 参加者は7人(ぐらい)でした。
- ustの視聴者数は50人ぐらいだったらしいです。なにそれこわい
- 会場を貸してくれたニューキャストさんすごい。