computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 圏論 代数的構造による圏論 第5章まで読めばろいろできると思われるのですが、数学的帰納法について考えるには第7章まで読んだほうが良いようなのでさらに引用していきます。そこまでは少し図式を描いていきます。 第6章 冪：プログラムの本質 ①冪 定義 6.1 (冪) 積を持つ圏 の対象 について、コンマ圏(一般射圏) の終対象を から への冪(exponential)と呼びます。積を持つ圏 の対象 に対して から への関手 は、 任意の対象 に対して対象 任意の射 に対して射 を対応させるものです。対象 は圏 から への関手 と同一視します。 は 圏 のただ一つの対象 に対して対象 圏 のただ一つの射 に対して射 を対応させる… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F06%2F16%2F202414" title="代数的構造による圏論(8) - 非専門的シンギュラリティー研究所" 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-16 20:24:14 rich https://computeralgebra.hatenablog.com/entry/2021/06/16/202414 1.0 100%