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

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

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

9/14追記

p88まで進んだそうです。