{"provider_url":"https://hatena.blog","author_url":"https://blog.hatena.ne.jp/nolimbre/","author_name":"nolimbre","type":"rich","description":"Mac Lane and Moerdijk, \"Sheaves in Geometry and Logic\"\uff08\u4ee5\u4e0b SGL\uff09\u306e\u6f14\u7fd2\u554f\u984c I.9 \u306f\u666e\u901a\u306b\u8003\u3048\u308b\u3068\u304a\u304b\u3057\u3044\uff08\u4f46\u3057\uff0c\u554f\u984c\u6587\u81ea\u4f53\u304c\u4e0d\u6b63\u78ba\u306a\u306e\u3067\u9593\u9055\u3044\u3068\u8a00\u3044\u5207\u308b\u306e\u3082\u96e3\u3057\u3044\uff09\uff0e\u7d50\u8ad6\u304c\u3042\u307e\u308a\u50d5\u306b\u306f\u306a\u3058\u307f\u306e\u306a\u3044\u3082\u306e\u3067\u9762\u767d\u304b\u3063\u305f\u306e\u3067\u66f8\u3044\u3066\u304a\u304f\uff0e\u6f14\u7fd2\u554f\u984c I.9 \u306f\u6b21\u306e\u3088\u3046\u306a\u554f\u984c\u3067\u3042\u308b\uff0e \u6709\u7406\u6570\u5168\u4f53\u306e\u306a\u3059\uff08\u901a\u5e38\u306e\u9806\u5e8f\u306b\u3088\u308b\uff09\u9806\u5e8f\u96c6\u5408 \u3092\u570f\u3068\u307f\u306a\u3057\uff0c\u51fd\u624b\u306e\u570f \u3092\u8003\u3048\u308b\uff0e \u306b\u304a\u3051\u308b subobject classifier \u304c\uff0c \u5404\u6709\u7406\u6570 \u306b\u5bfe\u3057\u3066 \u3092\u6e80\u305f\u3059\u3053\u3068\u3092\u8a3c\u660e\u305b\u3088\uff0e subobject classifier \u3068\u3044\u3046\u306e\u306f up to isomor\u2026","width":"100%","url":"https://nolimbre.hateblo.jp/entry/2016/10/06/175154","blog_url":"https://nolimbre.hateblo.jp/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnolimbre.hateblo.jp%2Fentry%2F2016%2F10%2F06%2F175154\" title=\"SGL \u6f14\u7fd2\u554f\u984c I.9 - \u306e\u3089\u3093\u3076\u308d\u3050 X\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","height":"190","image_url":"http://chart.apis.google.com/chart?cht=tx&chl=%20%5Cmathbb%7BQ%7D","categories":[],"blog_title":"\u306e\u3089\u3093\u3076\u308d\u3050 X","version":"1.0","title":"SGL \u6f14\u7fd2\u554f\u984c I.9","provider_name":"Hatena Blog","published":"2016-10-06 17:51:54"}