報告：第十回「層・圏・トポス 現代的集合像を求めて」勉強会
2009年10月4日(日)に第十回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計9人で13時から20時まで行いました。
告知：第十回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiroki_fの日記
やっと圏の章が終わりました。米田祭りの後は層の章を読みます。
この章を読み終われば、最初の目標の一つを達成したことになるのですが、たどり着いてみると始りの終わりであって、これから先は圏論がどのように適用されてくるのかの具体例をトポス、論理で見ていくことになると思います。
懇親会を毎回やっているのですが、来週すぐに米田祭りがあるので、軽めに日吉のラスタでラーメンを食べて解散しました。
リンク
hirataraさん
第十回「層・圏・トポス 現代的集合像を求めて」勉強会 - 北海道苫小牧市出身の初老PGが書くブログ
次回は、10月10日(土)@慶應大矢上キャンパスです。
