TOP

"Category theory in context" 読書会 #3

イベント内容

勉強会について

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済。次回演習問題
1.4. Naturality 12/17予定?
1.5. Equivalence of categories 12/17予定?
1.6. The art of the diagram chase
1.7. The 2-category of categories
参加者
8人 /定員15人
申込先
会場
ナビプラス株式会社
東京都渋谷区恵比寿西1-7-7 (EBSビル8階)

注目のイベント

タグに関連するイベント

2017/11/22(水) 19:30 〜 21:00
東京都 曙橋
2017/11/22(水) 19:30 〜 21:00
2017/11/29(水) 20:00 〜 22:00
東京都 岩本町
2018/01/20(土) 12:45 〜 18:00
東京都 神田

コラム

イベント New

【レポート】データ活用ビジネスの始め方:デジタルマーケティング[第2部] - TECH PLAY Conference 2017

2017年8月20日(日)から25日(金)の6日間にわたり、「TECH PLAY Conference 2017」が開催されました。...
123 views
イベント New

【レポート】デジタルマーケティングから紐解き、マーケティングをもういちど考える:デジタルマーケティング[第1部] - TECH PLAY Conference 2017

2017年8月20日(日)から25日(金)の6日間にわたり、「TECH PLAY Conference 2017」が開催されました。...
305 views
イベント

11月(後半)に開催される注目のITイベント・勉強会まとめ

11月後半に開催される注目のITイベント・勉強会をまとめました! 気になるイベントがあれば是非ご参加...
554 views