そもそも、圏論の例としてあげられる簡単な例が、集合と写像だとか、そういうものが多くて、

5:09 AM

そうすると、同一性については最初から定義されることが多いんですね。

5:10 AM

そこはあくまでも数学の暗黙知はあるんかなぁと感じています。

5:13 AM

圏自体については、同型が区別の基準ですね。