報告：第五回「層・圏・トポス　現代的集合像を求めて」勉強会

2009年7月11日(土)に第四回「層・圏・トポス　現代的集合像を求めて」勉強会を行いました。計9人で12時から19時まで行いました。

今回は随伴までした。随伴は物理では量子力学に出てくるのですが、圏論の立場から見ると随伴という概念がまた違ったものに見えますね。これについてはいつかちゃんとしたエントリーを書きたいと思ってます。

p74からp78まで　随伴

次回は、7月25日(土)@慶應大矢上キャンパスです。