{"width":"100%","description":"Steve Awodey \u306e Category Theory \u3092\u8aad\u3080 \u30b7\u30ea\u30fc\u30ba\u30c8\u30c3\u30d7 9.1 Preliminary definition Example 9.3 9.2 Hom-set definition 9.4 Order adjoints Example 9.12 9.5 Quantifiers as adjoints 9.6 RAPL Proposition 9.16 9.7 Locally cartesian closed categories Proposition 9.20 Lemma 9.23 9.8 Adjoint functor theorem Theorem 9.29 \u2026","height":"190","author_url":"https://blog.hatena.ne.jp/hitotakuchan/","author_name":"hitotakuchan","categories":["\u6570\u5b66","\u6570\u5b66-\u570f\u8ad6"],"type":"rich","image_url":"http://ecx.images-amazon.com/images/I/41pAXg0Mh8L.jpg","provider_name":"Hatena Blog","version":"1.0","provider_url":"https://hatena.blog","url":"https://www.orecoli.com/entry/2016/09/01/071146","blog_url":"https://www.orecoli.com/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.orecoli.com%2Fentry%2F2016%2F09%2F01%2F071146\" title=\"Steve Awodey \u306e Category Theory \u3092\u8aad\u3080 : Chapter 9 - \u4ffa\u306e Colimit \u3092\u8d8a\u3048\u3066\u3086\u3051\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","title":"Steve Awodey \u306e Category Theory \u3092\u8aad\u3080 : Chapter 9","blog_title":"\u4ffa\u306e Colimit \u3092\u8d8a\u3048\u3066\u3086\u3051","published":"2016-09-01 07:11:46"}