和音のトポスにかこつけた圏論ゼミ．Sheaves in Geometry and Logicを進める． 前回Equalizerによって圏論的に特徴づけられたSheaf． Sheafの構成の仕方あれこれとしてSubfunctorによるもの， Sheafのfunctorの貼り合せによるもの，の二つを見た． Sheafが集…