computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 下方向が証明図の方向になるように書き直しました。前回の例で考えると が成り立てば良いので とすれば良いということになります。 を満たす を考えます。「 を 項から 項に切り詰めたもの」は となります。 からなる射影系の射影的極限を証明図の極限と考えることができるということになります。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F02%2F29%2F093212" title="論理計算と随伴関手(17) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20%5Crequire%7BAMScd%7D%0A%5Cbegin%7BCD%7D%0AP%28%5Cbar%7BL%7D%29%20%40%3C%20%5Coverleftarrow%7B%5Cgamma%7D%5E%7Bn-m%7D%20%3C%3C%20P%28%5Cbar%7BL%7D%29%20%40%3C%20%5Coverleftarrow%7B%5Cgamma%7D%5E%7Bm%7D%20%3C%3C%20P%28%5Cbar%7BL%7D%29%20%5C%5C%0A%40V%20f_n%20VV%20%40V%20f_m%20VV%20%40VV%20f_0%20V%20%5C%5C%0AP%28%5Cbar%7BL%7D%29%20%40%3E%3E%20%5Coverrightarrow%7B%5Cgamma%7D%5E%7Bn-m%7D%20%3E%20P%28%5Cbar%7BL%7D%29%20%20%40%3E%3E%20%5Coverrightarrow%7B%5Cgamma%7D%5E%7Bm%7D%20%3E%20P%28%5Cbar%7BL%7D%29%0A%5Cend%7BCD%7D Hatena Blog https://hatena.blog 2020-02-29 09:32:12 rich https://computeralgebra.hatenablog.com/entry/2020/02/29/093212 1.0 100%