「第一回層圏トポス米田フェスティバル@矢上祭」 開催が決定しました。第一回層圏トポス米田フェスティバル(10月10日)@矢上祭 をやります。祭りでは主に復習にして、参加できない人に配慮するとともに新規参加者を迎える場所にしたいと思います。 第一回層圏…

2009年9月12日(土)に第九回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計5人で13時から20時まで行いました。告知：第九回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiroki_fの日記p83~p88随伴が終わり、巾に入りました。後一回や…