お知らせ ビープラウド、機械学習・データ分析の問題をオンライン学習サービスPyQにて提供開始

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

4月

23

"ベーシック圏論" 読書会 #7

募集内容

readcoqart枠

無料

先着順
8/10

参加枠2

無料

先着順
0/10

イベントの説明

勉強会について

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件が表示されます。

フィード

tmiya_

tmiya_ さんが "ベーシック圏論" 読書会 #7 を公開しました。

2017/02/23 15:17

"Category theory in context / ベーシック圏論" 読書会 #6 を公開しました!

グループ

終了

2017/04/23(日)

14:00
18:00

募集期間
2017/02/23(木) 15:17 〜
2017/04/23(日) 18:00

会場

ナビプラス株式会社

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

ナビプラス株式会社

管理者

参加者(8人)

nagaet

nagaet

"Category theory in context / ベーシック圏論" 読書会 #6 に参加を申し込みました!

florets1

florets1

"Category theory in context / ベーシック圏論" 読書会 #6に参加を申し込みました!

ke_ta3

ke_ta3

"Category theory in context / ベーシック圏論" 読書会 #6に参加を申し込みました!

eldesh

eldesh

I joined "Category theory in context / ベーシック圏論" 読書会 #6!

tmiya_

tmiya_

"ベーシック圏論" 読書会 #7 に参加を申し込みました!

さかばー

さかばー

"ベーシック圏論" 読書会 #7 に参加を申し込みました!

UkyoSuzuki

UkyoSuzuki

"ベーシック圏論" 読書会 #7に参加を申し込みました!

yoshihiro503

yoshihiro503

"ベーシック圏論" 読書会 #7に参加を申し込みました!

参加者一覧(8人)

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