2011-07-04から1日間の記事一覧

Conceptual Mathematics Session 11. Exercise 5.

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