2011-09-07 Goldblatt, Topoi: The Categorial Analysis of Logic, Dover (2006) book math p.59 の一部に空白があり,何事かと思ったら,empty diagram の図だった.ジョン・ケージか.