お知らせ【メンテナンスのお知らせ】4月25日(木)10:00から1時間半ほど、メンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。
なお有料の対象となるのはAPIのみであり、connpassのサービスにつきましては今後も無料でご利用いただけます。

1月

21
"Category theory in context" 読書会 #4

募集内容	readcoqart枠無料先着順 5/10人参加枠2 無料先着順 3/10人
申込者	申込者一覧を見る
開催日時	2017/01/21(土) 14:00 ～ 18:00 Googleカレンダー icsファイル
募集期間	2016/12/21(水) 19:46 〜 2017/01/21(土) 18:00まで
会場	0912(Lily)会議室東京都渋谷区恵比寿南3-5-7 (デジタルゲートビル9F) マップで見る会場のサイトを見る

イベントの説明

勉強会について

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