{"author_url":"https://blog.hatena.ne.jp/any119some1119/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fany119some1119.hatenablog.com%2Fentry%2F2018%2F09%2F05%2F114042\" title=\"\u570f C \u304b\u3089\u570f D \u3078\u306e\u95a2\u624b\u3001\u7279\u306b\u5171\u5909\u95a2\u624b\uff08\u304d\u3087\u3046\u3078\u3093\u304b\u3093\u3057\u3085\u3001covariant functor\uff09F \u306f\u3001  C \u306e\u5404\u5bfe\u8c61 X \u3092 D \u306e\u5404\u5bfe\u8c61 F(X) \u306b\u5bfe\u5fdc\u3055\u305b\u308b C \u306b\u304a\u3051\u308b\u5c04 f: X \u2192 Y \u3092 D \u306b\u304a\u3051\u308b\u5c04 F(f): F(X) \u2192 F(Y) \u306b\u5bfe\u5fdc\u3055\u305b\u3001\u4ee5\u4e0b\u306e\u6027\u8cea\u3092\u6e80\u305f\u3059 \u5404\u5bfe\u8c61 X \u2208 C \u306b\u5bfe\u3057\u3066 F(idX) = idF(X) , \u4efb\u610f\u306e\u5c04 f: X \u2192 Y \u304a\u3088\u3073 g: Y \u2192 Z \u306b\u5bfe\u3057\u3066 F(g \u2218 f) = F(g) \u2218 F(f). \u3059\u306a\u308f\u3061\u3001\u95a2\u624b\u306b\u5bfe\u3057\u3066\u6052\u7b49\u5c04\u304a\u3088\u3073\u5c04\u306e - \u4e80\u5c71\u5c1a\u8f1d\u306e\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>","categories":[],"provider_name":"Hatena Blog","title":"\u570f C \u304b\u3089\u570f D \u3078\u306e\u95a2\u624b\u3001\u7279\u306b\u5171\u5909\u95a2\u624b\uff08\u304d\u3087\u3046\u3078\u3093\u304b\u3093\u3057\u3085\u3001covariant functor\uff09F \u306f\u3001  C \u306e\u5404\u5bfe\u8c61 X \u3092 D \u306e\u5404\u5bfe\u8c61 F(X) \u306b\u5bfe\u5fdc\u3055\u305b\u308b C \u306b\u304a\u3051\u308b\u5c04 f: X \u2192 Y \u3092 D \u306b\u304a\u3051\u308b\u5c04 F(f): F(X) \u2192 F(Y) \u306b\u5bfe\u5fdc\u3055\u305b\u3001\u4ee5\u4e0b\u306e\u6027\u8cea\u3092\u6e80\u305f\u3059 \u5404\u5bfe\u8c61 X \u2208 C \u306b\u5bfe\u3057\u3066 F(idX) = idF(X) , \u4efb\u610f\u306e\u5c04 f: X \u2192 Y \u304a\u3088\u3073 g: Y \u2192 Z \u306b\u5bfe\u3057\u3066 F(g \u2218 f) = F(g) \u2218 F(f). \u3059\u306a\u308f\u3061\u3001\u95a2\u624b\u306b\u5bfe\u3057\u3066\u6052\u7b49\u5c04\u304a\u3088\u3073\u5c04\u306e","height":"190","image_url":null,"version":"1.0","description":"\u570f\u8ad6\u306b\u304a\u3051\u308b\u95a2\u624b\uff08\u304b\u3093\u3057\u3085\u3001\u82f1: functor\uff09\u306f\u3001\u570f\u304b\u3089\u570f\u3078\u306e\u69cb\u9020\u3068\u4e21\u7acb\u3059\u308b\u5bfe\u5fdc\u4ed8\u3051\u3067\u3042\u308b\u3002\u95a2\u624b\u306b\u3088\u3063\u3066\u4e00\u3064\u306e\u6570\u5b66\u4f53\u7cfb\u304b\u3089\u5225\u306e\u4f53\u7cfb\u3078\u306e\u7d44\u7e54\u7684\u306a\u5bfe\u5fdc\u304c\u5b9a\u5f0f\u5316\u3055\u308c\u308b\u3002\u95a2\u624b\u306f\u300c\u570f\u306e\u570f\u300d\u306b\u304a\u3051\u308b\u5c04\u3068\u8003\u3048\u308b\u3053\u3068\u3082\u3067\u304d\u308b\u3002 \u95a2\u624b\u306e\u6982\u5ff5\u306e\u840c\u82bd\u306f\u30a8\u30f4\u30a1\u30ea\u30b9\u30c8\u30fb\u30ac\u30ed\u30a2\u306b\u3088\u308b\u7fa4\u3092\u7528\u3044\u305f\u4ee3\u6570\u65b9\u7a0b\u5f0f\u306e\u7814\u7a76\u306b\u898b\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u300220\u4e16\u7d00\u306f\u3058\u3081\u306e\u30a8\u30df\u30fc\u30fb\u30cd\u30fc\u30bf\u30fc\u3089\u306b\u3088\u308b\u52a0\u7fa4\u306e\u7814\u7a76\u306b\u304a\u3044\u3066\u62e1\u5927\u52a0\u7fa4\u306a\u3069\u3055\u307e\u3056\u307e\u306a\u95a2\u624b\u7684\u69cb\u6210\u304c\u84c4\u7a4d\u3055\u308c\u305f\u300220\u4e16\u7d00\u534a\u3070\u306e\u4ee3\u6570\u7684\u4f4d\u76f8\u5e7e\u4f55\u5b66\u306b\u304a\u3044\u3066\u5b9f\u969b\u306b\u95a2\u624b\u304c\u5b9a\u7fa9\u3055\u308c\u3001\u56f3\u5f62\u304b\u3089\u69d8\u3005\u306a\u300c\u81ea\u7136\u306a\u300d\u4ee3\u6570\u7684\u69cb\u9020\u3092\u53d6\u308a\u51fa\u3059\u64cd\u4f5c\u3092\u5b9a\u5f0f\u5316\u3059\u308b\u305f\u3081\u306b\u5229\u7528\u3055\u308c\u305f\u3002\u3053\u3053\u3067\u306f\uff08\u57fa\u672c\u7fa4\u306e\u3088\u3046\u306a\uff09\u4ee3\u6570\u7684\u5bfe\u8c61\u304c\u4f4d\u76f8\u7a7a\u9593\u304b\u3089\u5c0e\u2026","blog_url":"https://any119some1119.hatenablog.com/","blog_title":"\u4e80\u5c71\u5c1a\u8f1d\u306e\u65e5\u8a18","url":"https://any119some1119.hatenablog.com/entry/2018/09/05/114042","published":"2018-09-05 11:40:42","author_name":"any119some1119","width":"100%","type":"rich","provider_url":"https://hatena.blog"}