TOP

クリップ
2016/11/26(土) 14:00 開催
東京都 恵比寿

"Category theory in context" 読書会 #2

基本情報

日 時: 2016/11/26(土) 14:00 〜 18:00
会 場: ナビプラス株式会社
住 所: 東京都渋谷区恵比寿西1-7-7 (EBSビル8階)

イベント内容

勉強会について

Category theory in context を読もう、という読書会です。テキストは、リンク先のPDFです。

だいたい、月一回程度の頻度で土曜午後に読書会を開催するつもりです。

主催者は特に圏論に詳しいわけでは無いので、参加者全員が行き詰まると勉強会がそこで終わると思われます。

元々がCoq勉強会 - (SF読み進捗ダメです会議) からの派生イベントなので初回は便宜上参加枠が分かれていますが、あまり気にしないでください。また、参加者希望者が多ければ参加枠を増やします。

担当したい箇所があれば、コメント欄とかに書いてください。早い者勝ちで割り当てます。

また coqtokyo.slack.com の #cat-theory にて雑談やQ&Aを行っています。

担当箇所 担当者 Status
1.1. Abstract and concrete categories 10/15済。次回演習問題
1.2. Duality 10/15済。次回演習問題
1.3. Functoriality 11/26予定?
1.4. Naturality 11/26予定?
1.5. Equivalence of categories
1.6. The art of the diagram chase
1.7. The 2-category of categories
  • Twitterでシェア
  • 0
    Facebookでシェア
  • 0
    Google+でシェア
  • 0
    はてなブックマークに追加

タグに関連するイベント

2016/12/08(木) 20:00 〜 21:00
福岡県 天神
2016/12/04(日) 13:00 〜 18:00
東京都 五反田

Facebookページ

dots.で申込可能なイベント