和音のトポス．前回Grothendieck topologyを定義して， 実際にいわゆる開集合の圏に戻ったときGrothendieckの意味でもtopologyなのかを確認． この場合のtopology JはUのopen setが作る全sieveから成っている．でcoveringで思ったのだけど，通常簡単な数理音…