量子計算＝量子コンピュータ＝量子回路＝量子ゲート全部同義語。実体はとある圏の射。量子データ型が対象、量子状態は文脈による。古典対象Xによる測定は、(余Kleisli圏)opの射。

直前のエントリーは、次を読んで思ったことだ。 Bob Coecke, Dusko Pavlovic "Quantum measurements without sums" http://arxiv.org/abs/quant-ph/0608035 このなかに、フォックス（Fox）の定理というのが出てくるのだが、なかなかに凄まじい。概要を以下に…

対称性を仮定しないコンパクト閉圏（自立圏と呼ぶことにしたのだった）には自明なモノイドがある。次のエントリーに書いておいた。 自律圏（旧称：堅い圏）には自明なモノイドがある - 檜山正幸のキマイラ飼育記 メモ編 が、これが含意する内容は全然自明で…

自立圏と自律圏が混じっているな。ソブリン（sovereign）圏 - 檜山正幸のキマイラ飼育記 メモ編の段階で既に混じっている。「自立」を使おうと思っているが、まーいいや、ほっておこう。