{"provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhiratara.hatenadiary.jp%2Fentry%2F20100516%2F1274009676\" title=\"CLTT p45 Exercises 1.3.1 (i) \u306e\u8a3c\u660e\u306e\u4e00\u90e8 (2) - Pixel Pedals of Tomakomai\" 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://hiratara.hatenadiary.jp/entry/20100516/1274009676","height":"190","author_name":"hiratara","description":"\u524d\u56de\u306e\u7d9a\u304d\u3002only if \u3092\u793a\u3057\u307e\u3059\u3002 Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics) \u307e\u305a\u3001(u,f)\u304c\u30ab\u30eb\u30c6\u30b7\u30a2\u30f3\u306a\u306e\u3067\u3001(u,\u03c0'):(I,Y)\u2192(J,Y)\u3068I\u306b\u95a2\u3057\u3066\u3001\u4ee5\u4e0b\u3092\u53ef\u63db\u306b\u3059\u308b\u3088\u3046\u306aj:I\u00d7Y\u2192X\u304c\u5b58\u5728\u3057\u307e\u3059\u3002\u3053\u306ej\u306b\u5bfe\u3057\u3066\u3001h^-1 = \u3068\u5b9a\u7fa9\u3057\u307e\u3059\u3002\u306f\u4ee5\u4e0b\u306e\u56f3\u306e\u3088\u3046\u306b\u306a\u308a\u307e\u3059\u3002\u3053\u306e\u56f3\u306f\u4e0a\u306e\u53ef\u63db\u6027\u3092\u5143\u306e\u570f\u306e\u5c04\u3067\u8868\u3057\u305f\u3082\u306e\u3067\u3042\u308a\u3001\u3053\u308c\u306b\u3088\u3063\u3066h^-1\u304c\u6c42\u3081\u308b\u5c04\u304c\u6e80\u305f\u3059\u3079\u304d\u53ef\u63db\u6027\u3092\u6e80\u305f\u3059\u3053\u3068\u304c\u308f\u304b\u308a\u307e\u3059\u3002\u5f8c\u306f\u3001\u3053\u306eh^-1\u304cis\u2026","title":"CLTT p45 Exercises 1.3.1 (i) \u306e\u8a3c\u660e\u306e\u4e00\u90e8 (2)","categories":["\u6570\u5b66"],"version":"1.0","type":"rich","published":"2010-05-16 20:34:36","author_url":"https://blog.hatena.ne.jp/hiratara/","provider_name":"Hatena Blog","width":"100%","blog_url":"https://hiratara.hatenadiary.jp/","blog_title":"Pixel Pedals of Tomakomai","image_url":"http://ecx.images-amazon.com/images/I/41WB3GP0B0L.jpg"}