前回の続き。 前回はぐるぐるの図(可換図式)を書いて整数Zの足し算の性質のうち 関数 add: Z × Z → Z が存在する ある特殊な集合 0Z が存在して zero: 0Z → Z が一つだけ存在する 0Z × Z → Z となる(0 + a = a, a ∈ Z 的な意味) add・(zero, id): 0Z×Z → Z×Z…