第二回「層・圏・トポス 現代的集合像を求めて」勉強会 に行って来ました。今回は現役数学科の方が居なかったので、進行はゆっくりでした。頭痛で大変だった*1ので懇親会はめちゃめちゃ行きたかったけどパス。で、最後に話題になったのが、P59の「Setsではep…