昨日の「デカルト閉圏における絵算」にて: この絵の根拠(合理化)とか、絵を使った計算例とかは、たぶんそのうち。 気が変わる前に Λ[(id×out);eval;in];Λ[(id×in);eval;out] = id という等式を絵算(pictorial calculation;お絵描き計算)で完全・露骨に示してみましょう。 内容: 基本概念/基本法則の絵 記号法とかの注意 Λの逆写像 idとevalの関係 左タイトニング公式 Λ(g) = id ⇔ g = eval 下ごしらえ 計算 ●基本概念/基本法則の絵 まず、昨日出しておいた基本概念/基本法則の絵ですが: http://www.chimaira.org/img2/pictcalc-ccc-basics.gif なんで、こんな絵にするのか?と聞かれれば、理由はあるから一応の説明はできるけど、説明めんどくさい。「こんな絵を使うと、計算
