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%2F2021%2F06%2F03%2F230711" title="代数的構造による圏論(4) - 非専門的シンギュラリティー研究所" 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-03 23:07:11 rich https://computeralgebra.hatenablog.com/entry/2021/06/03/230711 1.0 100%