2012-06-04から1日間の記事一覧
土日で某圏論セミナーに参加してきました。いや、話題が強制法とトポスとか行くしかないではないか!、ということで、名古屋Forcing警察(自称)が駆けつけました。 強制法入門コースでひと暴れしてきました。いやあ、楽しかったです。圏論理解したい><一応…
土日で某圏論セミナーに参加してきました。いや、話題が強制法とトポスとか行くしかないではないか!、ということで、名古屋Forcing警察(自称)が駆けつけました。 強制法入門コースでひと暴れしてきました。いやあ、楽しかったです。圏論理解したい><一応…