第十六回「層・圏・トポス 現代的集合像を求めて」勉強会に行ってきました。今日は自分に用事がある人*1と体調崩していた人が何人か居たので、予定を変更して16時で終了。前層から層を誘導する方法をやりました。初めから両立するものだけを集めて同値関係入…