線形代数の普通の概念と、それの双対を「足し算なし」で考えたときの対応表。 普通の概念 足し算なし双対における意味 スカラー イミュータブル＆コピーアブルな値 ベクトル 状態 スカラー乗法 観測、測定 スカラーどうしの乗法 繰り返し測定の結果予測 結合…

デカルト半環圏の構造と法則を与える同型射達。/** 直積の結合律 */ command prod-assoc<A,B,C> [[A, B], C] -> [A, [B, C]] { [nth 1 | nth 1, [nth 1 | nth 2, nth 2]] };/** 直和の結合律 */ command sum-assoc<A,B,C> (@1 (@1 A | @2 B) | @2 C) -> (@1 A | @2 (@1 B |</a,b,c></a,b,c>…