第1回 「Topoi」勉強会

[takafumi ozeki]

尾関です。

告知など、やろうと思ってできていないのですが

とりあえず始めてしまおうかという感じです。

第1回 「Topoi」勉強会

開催日：1月29日(日)

時間：13:00-17:00

場所：川崎市平和館　第三会議室

「Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)」

Robert Goldblatt  (著), Mathematics (著)

を読む会です。

範囲：最初から。読めるところまで。

新規参加者募集中です。紹介も歓迎です。

30ページくらいまでを読んだ感じでは、

説明が丁寧(特に例について)で、AwodeyのCategory theoryよりも

読みやすいのではないかと思いました。

後半にロジック関連の詳しい説明が読めるのではと期待しています。

ただしConceptual Mathematicsと共通しますが、言葉のみによる

解説がところどころあり、私にとっては玉に瑕です。

予習はしなくても良いです。

本を持っていなくても良いです。

参加キャンセルについては1/26までに

お願いします。

都合の悪い方がいたら連絡ください。

よろしくお願いします。

[Takafumi Ozeki]

尾関です。

久しぶりに参加登録ページをupしました。

https://atnd.org/events/85117#

2017/01/12 takafumi ozeki <ozt...@gmail.com>:

> --
> ====================
>
> http://groups.google.co.jp/group/sheaf-category-and-topos
> ---
> このメールは Google グループのグループ「けんろん！(旧GFG勉強会、コンセプタン&『層・圏・トポス』読者の会)」の登録者に送られています。
> このグループから退会し、グループからのメールの配信を停止するには
> sheaf-category-and...@googlegroups.com にメールを送信してください。
> その他のオプションについては、https://groups.google.com/d/optout にアクセスしてください。
>


--
----
尾関 孝文
ozt...@gmail.com

[Takeo Imai]

たけをです。ご無沙汰です。

最近頭を動かしていないので、久しぶりに参加してみようと思います。

ただし都合により、途中で抜けるかもしれません。

よろしくお願いします。

2017年1月14日(土) 22:06 Takafumi Ozeki <ozt...@gmail.com>:

[Takafumi Ozeki]

尾関です。
リマインダです。
今週末1/29です。
よろしくお願いします。

>>たけをさん
ご無沙汰しております。
また、よろしくお願いします。

なお、最初の告知で

「Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)」
Robert Goldblatt (著), Mathematics (著)

と書きましたが、

「Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)」
Robert Goldblatt (著)

の間違いのようです。
amazonからコピペしたのですが、裏表紙にMathematicsと書いてあったのを
著者と勘違いしたようです。


2017/01/25 Takeo Imai <takeo...@gmail.com>: