{"blog_url":"https://m-hiyama.hatenablog.com/","provider_name":"Hatena Blog","published":"2009-11-12 15:55:13","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20091112%2F1258008913\" title=\"\u30ab\u30ed\u30a6\u30d3\u5c55\u958b\u570f\u306e\u7279\u5fb4\u4ed8\u3051 - \u6a9c\u5c71\u6b63\u5e78\u306e\u30ad\u30de\u30a4\u30e9\u98fc\u80b2\u8a18 (\u306f\u3066\u306aBlog)\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","url":"https://m-hiyama.hatenablog.com/entry/20091112/1258008913","width":"100%","title":"\u30ab\u30ed\u30a6\u30d3\u5c55\u958b\u570f\u306e\u7279\u5fb4\u4ed8\u3051","version":"1.0","type":"rich","height":"190","categories":["\u96d1\u8a18\uff0f\u5099\u5fd8"],"image_url":null,"description":"Wikipedia \u3084 nLab \u306e Karoubi envelope \u306e\u9805\u3092\u8aad\u3080\u3068\u3001\u5177\u4f53\u7684\u306a\u69cb\u6210\u6cd5\u306b\u4f9d\u5b58\u3057\u306a\u3044\u30ab\u30ed\u30a6\u30d3\u5c55\u958b\u570f\u306e\u7279\u5fb4\u4ed8\u3051\u304c\u66f8\u3044\u3066\u3042\u308a\u307e\u3059\u3002\u3053\u306e\u7279\u5fb4\u4ed8\u3051\u3092\u4f7f\u3046\u3068\u3001\u5177\u4f53\u7684\u5b9a\u7fa9\u306b\u57fa\u3065\u304f\u3088\u308a\u30b9\u30de\u30fc\u30c8\u306b\u8a3c\u660e\u304c\u3067\u304d\u308b\u3053\u3068\u3082\u3042\u308b\u3067\u3057\u3087\u3046\u3002\u570fC\u306e\u30d9\u30ad\u7b49\u5c04 a:A\u2192A \u304c\u5206\u88c2\uff08split\uff09\u3059\u308b\u3068\u306f\u3001\u9069\u5f53\u306a r:A\u2192B, s:B\u2192A \u304c\u3042\u3063\u3066\u3001\u6b21\u304c\u6210\u7acb\u3059\u308b\u3053\u3068\u3067\u3059\u3002 r;s = a s;r = idB \u30d9\u30ad\u7b49\u5c04\u304c\u5206\u88c2\u3059\u308b\u3053\u3068\u306f\u4e00\u822c\u7684\u306b\u306f\u4fdd\u8a3c\u3067\u304d\u307e\u305b\u3093\u304c\u3001\u3082\u3057\u5206\u88c2\u3059\u308b\u306a\u3089\u540c\u578b\u3092\u9664\u3044\u3066\u4e00\u610f\u7684\u3067\u3059\u3002\u3064\u307e\u308a\u3001r':A\u2192B', s':B'\u2192A \u304ca\u306e\u5206\u88c2\u3092\u4e0e\u3048\u308b\u306a\u3089\u3001B\u3068B'\u306f\u540c\u578b\u3067\u3059\uff08\u7df4\u7fd2\u554f\u984c\uff09\u3002\u570f\u306b\u95a2\u3059\u2026","provider_url":"https://hatena.blog","author_name":"m-hiyama","author_url":"https://blog.hatena.ne.jp/m-hiyama/","blog_title":"\u6a9c\u5c71\u6b63\u5e78\u306e\u30ad\u30de\u30a4\u30e9\u98fc\u80b2\u8a18 (\u306f\u3066\u306aBlog)"}