和音のトポス，二週ぶり． ずっとGrothendieck toposを追いかけている． 「どうやってtoposを使うのか」という不安を抱えながら． 今日はGrothendieck topologyを導入． 開集合族における集合演算を如何に射の言葉で書き換えていくか， が一仕事だけど，例え…