新機能 イベント予約公開機能を追加しました!詳しくはこちらをご覧ください

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

Oct

15

"Category theory in context" 読書会 #1

Registration info

readcoqart枠

Free

Standard (Lottery Finished)
6/10

参加枠2

Free

FCFS
0/5

Description

勉強会について

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

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

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

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

初回は、Chapter 1 からですが、どこまで読めるか分からないので、各自出来るだけ読んできて、勉強会の進め方を当日相談します。 担当したい箇所があれば、コメント欄とかに書いてください。早い者勝ちで割り当てます。

担当箇所 担当者
1.1. Abstract and concrete categories
1.2. Duality
1.3. Functoriality
1.4. Naturality
1.5. Equivalence of categories
1.6. The art of the diagram chase
1.7. The 2-category of categories

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

tmiya_

tmiya_ published "Category theory in context" 読書会 #1.

10/04/2016 13:03

"Category theory in context" 読書会 #1 を公開しました!

Group

coqtokyo

Number of events 73

Members 139

Ended

2016/10/15(Sat)

14:00
18:00

Registration Period
2016/10/04(Tue) 00:00 〜
2016/10/15(Sat) 18:00

Location

0912(Lily)会議室

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

Organizer

Attendees(6)

nagaet

nagaet

"Category theory in context" 読書会 #1 に参加を申し込みました!

eldesh

eldesh

I joined "Category theory in context" 読書会 #1!

yugawara

yugawara

I joined "Category theory in context" 読書会 #1!

tmiya_

tmiya_

"Category theory in context" 読書会 #1 に参加を申し込みました!

florets1

florets1

"Category theory in context" 読書会 #1に参加を申し込みました!

tektek

tektek

"Category theory in context" 読書会 #1 に参加を申し込みました!

Attendees (6)