2009年7月11日(土)に第四回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計9人で12時から19時まで行いました。今回は随伴までした。随伴は物理では量子力学に出てくるのですが、圏論の立場から見ると随伴という概念がまた違ったものに見えま…