Cが圏のとき、Cop→Set という関手をC上の前層と呼びます。C上の前層の全体 [Cop, Set] は、関手圏として圏になります（その射は自然変換）。Cが小さいときは、[Cop, Set] はトポスになります。この前層トポスの部分対象分類子〈subobject classifier〉の構成…