読者です 読者をやめる 読者になる 読者になる

北海道苫小牧市出身の初老PGが書くブログ

永遠のプログラマを夢見る、苫小牧市出身のおじさんのちらしの裏

第九回「層・圏・トポス  現代的集合像を求めて」勉強会

math

恒例の「層・圏・トポス  現代的集合像を求めて」勉強会ですが、用事があったので途中(15時)まで出てきました。

ってことで、やった内容は前回の復習だけです。その後どこまで進んだかに関しては、他の方が公開してくれると思います!

9/14追記

p88まで進んだそうです。