2009年10月24日(土)に第十二回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計5人で13時から20時まで行いました。p11-p16の前層、層を読みました。はじめにのところに面白いことが書いてあります。p9 直観論理はもっと人間的な論理です。も…