新機能 イベント主催者向け機能「重複参加の許可/禁止」機能と「グループブラックリスト」機能をリリースしました。詳しくは こちら

お知らせ ビープラウド、「90日で稼げるプログラマーに」オンライン学習サービス「PyQ(パイキュー)」を販売開始

このエントリーをはてなブックマークに追加

1月

21

"Category theory in context" 読書会 #4

募集内容

readcoqart枠

無料

先着順
5/10

参加枠2

無料

先着順
3/10

イベントの説明

勉強会について

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 12/17 p.26まで。次回演習問題
1.5. Equivalence of categories 1/21予定
1.6. The art of the diagram chase
1.7. The 2-category of categories

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

tmiya_

tmiya_ さんが "Category theory in context" 読書会 #4 を公開しました。

2016/12/21 19:46

"Category theory in context" 読書会 #4 を公開しました!

終了

2017/01/21(土)

14:00
18:00

募集期間
2016/12/21(水) 19:46 〜
2017/01/21(土) 18:00

会場

ナビプラス株式会社

東京都渋谷区恵比寿西1-7-7 (EBSビル8階)

ナビプラス株式会社

管理者

参加者(8人)

eldesh

eldesh

I joined "Category theory in context" 読書会 #4!

tmiya_

tmiya_

"Category theory in context" 読書会 #4 に参加を申し込みました!

nagaet

nagaet

"Category theory in context" 読書会 #4 に参加を申し込みました!

florets1

florets1

"Category theory in context" 読書会 #4に参加を申し込みました!

ke_ta3

ke_ta3

"Category theory in context" 読書会 #4 に参加を申し込みました!

zhanpon

zhanpon

"Category theory in context" 読書会 #4 に参加を申し込みました!

Sho Kohara

Sho Kohara

"Category theory in context" 読書会 #4に参加を申し込みました!

UkyoSuzuki

UkyoSuzuki

"Category theory in context" 読書会 #4に参加を申し込みました!

参加者一覧(8人)

キャンセルした人(3人)