読者です 読者をやめる 読者になる 読者になる

(((^^)))

土日で某圏論セミナーに参加してきました。

いや、話題が強制法とトポスとか行くしかないではないか!、ということで、名古屋Forcing警察(自称)が駆けつけました。
強制法入門コースでひと暴れしてきました。

いやあ、楽しかったです。圏論理解したい><

一応、参考文献として SGL(Sheave in Geometry and Logic) を挙げておきます。