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