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

和音のトポスといいながら，音がちっとも出てこないゼミ．
本日，sieve登場．presheafがsheafに成るための条件を
sieveの条件に読み替えるなどの命題をいくつか見た．
途中，sheafに成るためのequalizerの役割の力点がどこなのか分からず，
単純に集合の圏での射となるための条件に過ぎないことに気付くまでに
えらく時間を使ってしまった．

まぁsieveのcategoricalな見方等々を見たかった，
と当人かつて言っていたから，このシリーズである程度納得したかな．

まだ道は長いのであった．

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