和音のトポス． いわゆるSite(C,J)上のSheafの圏はトポスになること． そのためにobject classifierを作るのだけどそれはFunctorで与えられる． するとToposの最も特徴的な図式， Ａ→１ ↓ ↓true Ｆ→Ω χA これ全部Functorで与えられるんだよね． 当人の希望も…