小圏 上の前層の圏 は，elementary topos になる． subobject classifier は以下のように定める． に対し， であって， をみたし，この包含関係が自然変換 をあたえるものを， 上の crible という． は 上の crible 全体の集合とする． に対し， は，で与え…

慶応矢上にて．poset 上の前層の圏のトポス構造について．