圏論の考え方でつくられていない、JavaScriptで動作する spinoza (スピノザ) - (3) - Qiita

前回に続き、関数、値、圏論、モナド、評価戦略、純粋関数型、その辺りの「数学的基礎」を教えるの圏論について言及している部分について、内容を検証していきます。 「数」というものは、 数と論理操作が、まったく同一である、ということ、 「数」そのものが無限に自分を参照して自分自身となっている構造、 無限自己参照構造体とも表現できる「何か」です。 誤りです。圏論で扱うトピックではありません。 この非常に精緻な構造をガチで語ろうとするのが圏論なんですね。 まあだから、圏論の圏の定義とかどうでも良いです。 誤りです。むしろ圏論から定義をとると何も残りません。 今わたしがこうやって話したことを 難しい言葉で表現すると、 ..以下略.. wikipediaの引用ですが、正しい内容です。 「数」というものは、 数と論理操作が、まったく同一である、 操作と数、数と操作の区別が一切ないっていう構造、 「数」そのも