和音のトポス，といいながら実質カテゴリー論になって，はや数回． いよいよ米田の補題．locally smallなcategory C からSet へのFunctorF:C → Set が， F(A) ～ Nat(homC(A,-),F) と表現されるって話だ．なんだろう，この屋下に屋を架す感じ．はやく数理音…