エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2021-06-16から1日間の記事一覧

代数的構造による圏論(8)

第5章まで読めばろいろできると思われるのですが、数学的帰納法について考えるには第7章まで読んだほうが良いようなのでさらに引用していきます。そこまでは少し図式を描いていきます。 第6章 冪:プログラムの本質 ①冪 定義 6.1 (冪) 積を持つ圏 の対象 に…