和音のトポス，といいながらすっかり圏論． 前回の米田の補題の残りのあと，Sheaves in Geometry and Logicへ． とはいえコピーを渡したのがつい先日なのでちょっと進めただけ． まずは層をCategoryの言葉で定義するところから． ここをちゃんと見ておかない…