けんろん！ 第22回 「Topoi」勉強会
2 views
Skip to first unread message
takafumi ozeki
Oct 8, 2019, 9:58:24 AM10/8/19
to けんろん！(旧GFG勉強会、コンセプタン&『層・圏・トポス』読者の会)
尾関です。
次回告知です。
第22回 「Topoi」勉強会
開催日：10月14日(月・祝)
時間：13:00-17:00
場所：川崎市平和館 第３会議室
「Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)」
Robert Goldblatt (著)
を読む会です。
次回はp282 Chapter 11 elementary truth の
11.9 Heyting-valued sets
からです。
よろしくお願いします。
Reply all
Reply to author
Forward
0 new messages