{"provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/mbps/","published":"2014-04-01 01:50:06","image_url":"http://chart.apis.google.com/chart?cht=tx&chl=%20%28-%29K%5C%20%3A%5C%20%5Cmathcal%7BA%7D%5E%7B%5Cmathcal%7BC%7D%7D%20%5Crightarrow%20%5Cmathcal%7BA%7D%5E%7B%5Cmathcal%7BM%7D%7D%20","provider_url":"https://hatena.blog","url":"https://mbps.hatenablog.com/entry/2014/04/01/015006","blog_url":"https://mbps.hatenablog.com/","version":"1.0","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmbps.hatenablog.com%2Fentry%2F2014%2F04%2F01%2F015006\" title=\"Kan extension - PS\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","title":"Kan extension","author_name":"mbps","height":"190","description":"Precomposition functor Category \u3068 functor \u306b\u3064\u3044\u3066\u3001whiskering functor precomposition functor: *1 \u3092\u5b9a\u7fa9\u3067\u304d\u308b\u3002 Right Kan extension Functor: \u306b\u3064\u3044\u3066\u3001-terminal morphism*2: \u3092\u3001right Kan extesion of along (-ran) \u3068\u3044\u3044\u3001 \u3092\u3001 \u3067\u8868\u3059: Hom-set Right Kan extension Right Kan extension\u306fterminal morphism\u306a\u306e\u3067\u3001Universal morphism - PS\u3088\u2026","blog_title":"PS","type":"rich","categories":["\u570f\u8ad6","\u5b9a\u7fa9","Kan-extension"],"width":"100%"}