恒例の「層・圏・トポス 現代的集合像を求めて」勉強会ですが、用事があったので途中(15時)まで出てきました。ってことで、やった内容は前回の復習だけです。その後どこまで進んだかに関しては、他の方が公開してくれると思います！ 9/14追記 p88まで進んだ…