ARTICLE 2 Isomorphismsに戻って前の続き。 {a, b, c } ↓ ↓ ↓ {太郎, 次郎, 三郎} こういうmap fがあるなら、「同じ」だといえるだろう、と。 もちろん要素の数が同じということなんだけど、それを他のcategoryでも使えるように、 「こういうmap」の特徴をca…