イベントの説明
勉強会について
Category theory in context を読もう、という読書会でしたが、1.5節まで読んだら、以後はベーシック圏論 を読むことにします。
ベーシック圏論の第1章は、"Category theory in context"と重なってる内容が多いので、さらっと流して、第2章から丁寧に読む予定です。
だいたい、月一回程度の頻度で土曜 or 日曜の午後に読書会を開催するつもりです。
主催者は特に圏論に詳しいわけでは無いので、参加者全員が行き詰まると勉強会がそこで終わると思われます。
担当したい箇所があれば、コメント欄とかに書いてください。早い者勝ちで割り当てます。
また coqtokyo.slack.com の #cat-theory にて雑談やQ&A、演習問題の回答らしきもの配布を行っています。
担当箇所 | Status |
---|---|
1.1. Abstract and concrete categories | 10/15済。演習問題11/26済。 |
1.2. Duality | 10/15済。演習問題11/26済。 |
1.3. Functoriality | 11/26済。演習問題 12/17済。 |
1.4. Naturality | 1/21 本文&演習問題 |
1.5. Equivalence of categories | 2/18 ~1.5.vii、3/19 演習問題 1.5.vii〜予定 |
担当箇所 | Status |
---|---|
序論 | |
第1章 圏・関手・自然変換 | 1.1 & 1.2 : 3/19 |
第1章 圏・関手・自然変換 | 1.3 : 4/23 |
第2章 随伴 | 2.1- : 4/23 |
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。