けんろん！ 第16回 「Topoi」勉強会
4 views
Skip to first unread message
takafumi ozeki
Dec 18, 2018, 9:56:57 AM12/18/18
to けんろん！(旧GFG勉強会、コンセプタン&『層・圏・トポス』読者の会)
尾関です。
次回告知です。
第16回 「Topoi」勉強会
開催日：12月23日(日)
時間：13:00-17:00
場所：川崎市平和館 第３会議室
「Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)」
Robert Goldblatt (著)
を読む会です。
次回はp245 Chapter 11 elementary truth の
11.4 models in a topos
からです。
よろしくお願いします。
Reply all
Reply to author
Forward
0 new messages