層・圏・トポスの層のところで出てくる層Ωはかなりイメージしにくい。 前回の読書会で、関手としてのΩは*1 O そのものだということを少し話した。 以降、ちょっと考えて、また違う見方を思い付いたので書いておく。前層の層化も少し関係する。位相空間 X の…

前層が与えられたとき、層化して層を作るのは、層・圏・トポスや色んな本にも載っている。層・圏・トポスの方法は普通じゃないけど、普通のやり方は前回の読書会で話した。 その時より少しすっきりした見方ができたけど、また蒸し返すのもあれなんで日記のほ…