computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 圏論 代数的構造による圏論 ⑦極限，余極限の定義 続いて極限と積などの関係を見ていきます。 積・余積 圏 を対象が の二つで、射が恒等射だけの圏とします。 と書くことにします。 型の図式(圏 から圏 への関手) に対する極限( の終対象)が存在するとします。、 とおきます。「 を圏 (対象を とする)から への関手」と見たものを とします。 は、 の対象 、 の(ただ一つの)対象 、 の射 からなる三つ組 を対象として、 から への射としては、 の射 と の(ただ一つの)射 の組 で \begin{CD} \Delta(X) @> p >> D \\ @V \Delta(u) VV @| \\ \Delta(Y) @>>… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F06%2F11%2F012844" title="代数的構造による圏論(7) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/41f6GquoyzL._SL500_.jpg Hatena Blog https://hatena.blog 2021-06-11 01:28:44 rich https://computeralgebra.hatenablog.com/entry/2021/06/11/012844 1.0 100%