{"author_name":"jun0","image_url":"https://cdn-ak.f.st-hatena.com/images/fotolife/j/jun0/20060813/20060813034651.png","version":"1.0","categories":["haskell","\u6570\u5b66","\u570f\u8ad6"],"url":"https://jun0.hatenadiary.org/entry/20060813/1155409474","width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fjun0.hatenadiary.org%2Fentry%2F20060813%2F1155409474\" title=\" Category product \u2190\u307e\u3060\u3053\u3093\u306a\u3068\u3053\u308d\u3060\u3063\u305f\u308a\u3059\u308b - \u4e3c\u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","title":" Category product \u2190\u307e\u3060\u3053\u3093\u306a\u3068\u3053\u308d\u3060\u3063\u305f\u308a\u3059\u308b","provider_url":"https://hatena.blog","type":"rich","published":"2006-08-13 04:04:34","provider_name":"Hatena Blog","height":"190","blog_title":"\u4e3c\u65e5\u8a18","blog_url":"https://jun0.hatenadiary.org/","description":"\"Category products of a given family of objects is unique up to isomorphism.\" \u5618\u3049\u3002\u3053\u308c\u3069\u3046\u306a\u3093? GIMP \u3067\u77e2\u5370\u3064\u304d\u66f2\u7dda\u306e\u63cf\u304d\u65b9\u304c\u308f\u304b\u3089\u3093\u306e\u3067\u3001\u8d85\u843d\u63cf\u304d\u30b9\u30de\u30bd\u3002\u3053\u3046\u3044\u3046\u304d\u308c\u3044\u306a\u56f3\u306f\u4f55\u3067\u66f8\u3044\u3066\u308b\u306e\u304b\u306a\u3002 \u8981\u3059\u308b\u306b AxB \u304c\u300c\u672c\u7269\u306e\u300dA, B \u306e product \u3067\u3001a, b \u304c\u5c04\u5f71\u5c04 (\u2026\u306a\u3093\u3066\u8a00\u3046\u306e\u304b? Projection morphism \u3092\u76f4\u8a33\u3057\u3066\u307f\u305f)\u3002\u3067\u3001X \u3082 product \u306e\u6761\u4ef6\u3092\u6e80\u305f\u3057\u3066\u3044\u308b\u3001\u3068\u3002\u305d\u3053\u3067 X, AxB \u306e\u9593\u306b\u306f\u3069\u3063\u3061\u65b9\u5411\u306b\u3082\u5c04\u304c\u5b58\u5728\u3057\u306a\u304f\u3066\u306f\u306a\u3089\u306a\u3044\u306e\u3067\u3001\u305d\u308c\u304c f, g\u3002 \u8ffd\u2026","author_url":"https://blog.hatena.ne.jp/jun0/"}