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

1週空いて再開，和音のトポス．本日お気に入りの式．
　　　Sub(μ)～Hom(μ，Ω)
つまり，(functor)μのSubobjectはSubfunctorに他ならず，
それはまたSubobject classifier Ω への射（今の場合，自然変換）とも見なせる．
そして，このμはまたalgebra Aの集合Xへの作用なんだけど，
これ自身，algebraを一点対象のCategoryと見てSet categoryへのfunctorと見る，
素敵な観点を与えてくれる．
そしてToposで和音を見る，その目的はやはりLawvere–Tierney topologyで考えたいから．
とにかく進めるところまで進めよう．

面白くなってきたので，Amazonでポチってしまった↓

Topos Theory (Dover Books on Mathematics)

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