nolimbre https://blog.hatena.ne.jp/nolimbre/ のらんぶろぐ X https://nolimbre.hateblo.jp/ Mac Lane and Moerdijk, "Sheaves in Geometry and Logic"（以下 SGL）の演習問題 I.9 は普通に考えるとおかしい（但し，問題文自体が不正確なので間違いと言い切るのも難しい）．結論があまり僕にはなじみのないもので面白かったので書いておく．演習問題 I.9 は次のような問題である． 有理数全体のなす（通常の順序による）順序集合 を圏とみなし，函手の圏 を考える． における subobject classifier が， 各有理数 に対して を満たすことを証明せよ． subobject classifier というのは up to isomor… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnolimbre.hateblo.jp%2Fentry%2F2016%2F10%2F06%2F175154" title="SGL 演習問題 I.9 - のらんぶろぐ X" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://chart.apis.google.com/chart?cht=tx&chl=%20%5Cmathbb%7BQ%7D Hatena Blog https://hatena.blog 2016-10-06 17:51:54 rich https://nolimbre.hateblo.jp/entry/2016/10/06/175154 1.0 100%