イベントの説明
勉強会について
Category theory in context を読もう、という読書会です。テキストは、リンク先のPDFです。
だいたい、月一回程度の頻度で土曜午後に読書会を開催するつもりです。
主催者は特に圏論に詳しいわけでは無いので、参加者全員が行き詰まると勉強会がそこで終わると思われます。
元々がCoq勉強会 - (SF読み進捗ダメです会議) からの派生イベントなので初回は便宜上参加枠が分かれていますが、あまり気にしないでください。また、参加者希望者が多ければ参加枠を増やします。
担当したい箇所があれば、コメント欄とかに書いてください。早い者勝ちで割り当てます。
また 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 | 1/18予定&演習問題予定 | |
1.6. The art of the diagram chase | ||
1.7. The 2-category of categories |
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。