第五回「層・圏・トポス 現代的集合像を求めて」勉強会終了です。お疲れさまでした。米田のレンマ、随伴関手と難易度がぐーんと上がって来ている気がします。消化不良だったのは以下の２点です。 P.78 の、上から二つ目の図が何を意味するのか P.80 一番上の…