jun0 https://blog.hatena.ne.jp/jun0/ 丼日記 https://jun0.hatenadiary.org/ 数学 圏論 通りすがり 『「AxBとXはisom」の定義は「f:AxB→Xとg:X→AxBをどう選んでも逆射になってる」ではなく「f:AxB→Xとg:X→AxBをうまいこと選んでやると逆射になってる」ことだと思います。 Product と言うだけで存在が保証される射（X, AxB の間にどっち方向にも存在しなくてはならない射）は１つだけなので、f=(a,b)とg=(a’,b’)とします。これらから定義したi=f.gを使うと、x.i=yという仮定からx=yが導けます。なので、「f,gが逆射でない」は成り立ちません。（あるいは、i=f.gかつx≠yと仮定してしまうとその時点で矛盾が生じています。なのでそれを前… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fjun0.hatenadiary.org%2Fentry%2F20060813%2F1155480877" title=" Category product 続き - 丼日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-08-13 23:54:37 rich https://jun0.hatenadiary.org/entry/20060813/1155480877 1.0 100%