和音のトポス（４年ゼミ）

和音のトポス．
いわゆるSite(C,J)上のSheafの圏はトポスになること．
そのためにobject classifierを作るのだけどそれはFunctorで与えられる．
するとToposの最も特徴的な図式，
Ａ→１
↓　↓true
Ｆ→Ω
　　χ_A
これ全部Functorで与えられるんだよね．
当人の希望もあってしばらく続いたGrothendieck topologyの追究，本日でひと段落．
さて，いよいよ数理音楽へ戻りますか．

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)