1週空いて再開，和音のトポス．本日お気に入りの式． Sub(μ)～Hom(μ，Ω) つまり，(functor)μのSubobjectはSubfunctorに他ならず， それはまたSubobject classifier Ω への射（今の場合，自然変換）とも見なせる． そして，このμはまたalgebra Aの集合Xへの作…