整数の集合を Z とする。関数αとβを α: Z → Z, α(x) = x + 2 β: Z → Z, β(x) = x + 3 と定義する。 α、β は endomap の圏S◯(Sは集合圏)の対象になっている。 αとβは iso か？

関手圏の subobject classifierの具体例として、グラフの圏 Sets↓↓ のsubobject classifier を構成してみます。