{"title":"Free theorem vs. existential","published":"2014-04-06 14:04:30","url":"https://mbps.hatenablog.com/entry/2014/04/06/140430","height":"190","provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmbps.hatenablog.com%2Fentry%2F2014%2F04%2F06%2F140430\" title=\"Free theorem vs. existential - PS\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","categories":["\u570f\u8ad6","Haskell"],"blog_title":"PS","image_url":"http://chart.apis.google.com/chart?cht=tx&chl=%20%5Ccoprod%5Climits_a%20F%28a%29%20%3D%20%5Cbigcup_%7Bc%7D%20%5Cbig%7B%20%28x%2C%5C%20c%29%5C%20%7C%5C%20%20x%20%5Cin%20F%28c%29%20%5Cbig%7D%20","version":"1.0","description":"Free theorem \u3042\u308b\u7a2e\u306e\u4f53\u7cfb\u3067\u306f\u3001naturality\u304c\u5e38\u306b\u6210\u7acb\u3059\u308b\u3068\u3044\u3046(\u3053\u3068\u3092\u542b\u3080)\u5b9a\u7406\u3002 \u3053\u306enaturality\u3092free naturality\u3068\u52dd\u624b\u306b\u547c\u3076\u3053\u3068\u306b\u3059\u308b\u3002 \u547d\u984c Functor \u306b\u3064\u3044\u3066\u3001product: \u306b\u95a2\u3057\u3066freely natural\u306a\u3089\u3070\u3001coproduct: \u306b\u95a2\u3057\u3066\u3082freely natural\u3002 \u8a3c\u660e \u307e\u305a\u3001 \u6b21\u306b\u3001 \u306b\u95a2\u3059\u308bfree naturality\u306b\u3088\u308a\u3001 \u3053\u3053\u3067\u3001 \u3068\u5b9a\u7fa9\u3059\u308b\u3068\u3001 \u3057\u304b\u3082\u3001\u3053\u308c\u306f \u306b\u3064\u3044\u3066natural\u3068\u306a\u308b\u3002 \u7cfb \u3078\u306einjection: \u306ffreely natural\u3068\u306a\u308a\u3001Colimits in sets - PS\u2026","author_name":"mbps","author_url":"https://blog.hatena.ne.jp/mbps/","type":"rich","blog_url":"https://mbps.hatenablog.com/","provider_name":"Hatena Blog","width":"100%"}