2011-06-30から1日間の記事一覧
C を 任意の(小さな)圏、Sets を集合圏として、SetsC の形をした関手圏の subobject classifier を構成してみる。ネタ元はAlgebra in a Topos(PDF)。 subobject classifier Ω は関手圏 SetsC の対象だから関手 Ω: C → Sets。Ωの対象部分を以下のように定義す…
C を 任意の(小さな)圏、Sets を集合圏として、SetsC の形をした関手圏の subobject classifier を構成してみる。ネタ元はAlgebra in a Topos(PDF)。 subobject classifier Ω は関手圏 SetsC の対象だから関手 Ω: C → Sets。Ωの対象部分を以下のように定義す…