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

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

6月

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

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

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

イベントの説明

勉強会について

Category theory in context を読もう、という読書会でしたが、1.5節まで読んだら、以後はベーシック圏論を読むことにします。

ベーシック圏論の第1章は、"Category theory in context"と重なってる内容が多いので、さらっと流して、第2章から丁寧に読む予定です。

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

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

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

また coqtokyo.slack.com の #cat-theory にて雑談やQ&A、演習問題の回答らしきもの配布を行っています。

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

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

フィード

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

2018/05/28 16:11

"ベーシック圏論" 読書会 #18 を公開しました！

グループ

イベント数 132回

メンバー数 168人

開催前 coqtokyo 第30回MathComp Book勉強会

終了

2018/06/24(日)

14:00 〜 18:00

Googleカレンダー icsファイル

募集期間
2018/05/28(月) 15:54 〜
2018/06/24(日) 18:00

イベントへのお問い合わせ

会場

0912(Lily)会議室

東京都渋谷区恵比寿南3-5-7 (デジタルゲートビル9F)

管理者

tmiya_

参加者（5人）

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

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

saka_bar (Sakaki)

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

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

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

参加者一覧（5人）

キャンセルした人（1人）