モノイド積を×、モノイド単位を1として、 λ:1×A→A ρ:A×1→A を単位律を与える構造射（unitor）だとする。K = End(1)を抽象スカラーとして、抽象スカラーによる乗法は次のように定義される。 k-*f = λ-1;(k×f);λ f*-k = ρ-1;(f×k);ρ 記号-*と*-は苦し紛れ、左…

初歩的圏の範囲で対応をとってみる。 ＼ 古典計算 量子計算 メモリサイズ n ビット n キュービット 圏の対象 [n] [n] 状態空間 {0, 1}の直積 C2 のテンソル積 モノイド積 集合の直積 ベクトル空間のテンソル積 モノイド単位 単元集合 スカラー 否定 0と1の交…

すごく簡単になった、ユニタリ対応 - 檜山正幸のキマイラ飼育記 メモ編 ユニタリ対応の定式化はすごく簡単になった。普通の線形代数だけでOK。 普通の線形代数でも、復習しないとすぐ忘れるので、書いておこう。[追記]こりゃダメだ。勘違い、間違っている。…