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

5月

30

"Category Theory for Programmers" 読書会 #04

Haskellからの圏論入門

Registration info

どなたでも

Free

FCFS
1/4

Description

プログラマのための圏論入門 Category Theory for Programmers (500ページ)に関するもくもく読書会です。


  • 5章 Products and Coproducts終了。今回からversion 0.7
  • universal constructionに関して: 一意性の有無を考えるべし
  • Productの定義に関して:c' -> a, c'->bに対してc'->c->a, c'->c->bがあるのであって、その逆は要求されていない

A product of two objects a and b is the object c equipped with two projections such that for any other object c'′ equipped with two projections there is a unique morphism m from c' to c that factorizes those projections. c' = c m

  • a product of sets -- Cartesian product
  • a product of poset --最小上界
  • a coproduct of poset -- 最大下界

次回は6章

Media View all Media

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

Feed

shnarazk

shnarazk published "Category Theory for Programmers" 読書会 #04.

05/24/2018 23:51

"Category Theory for Programmers" 読書会 #04 を公開しました!

Group

記号計算大濠社中

Symbolic Computation Ohori Shachu

Number of events 9

Members 1

Ended

2018/05/30(Wed)

18:30
20:00

開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません

Registration Period
2018/05/25(Fri) 00:00 〜
2018/05/29(Tue) 00:00

Location

長崎市立図書館

長崎県長崎市興善町1-1

Organizer

Attendees(1)

shnarazk

shnarazk

"Category Theory for Programmers" 読書会 #04 に参加を申し込みました!

Attendees (1)