忘れるといかんから書いておこう。状態空間Sがあるとき、1+S+S2+ ... としてSからFock空間を作る、と考えていたが、この無限級数表示は面白いけど誤解のもとでもあった。1←S←S2←...のような射影的な系に対して（射影|逆）極限を取るだけの話だった。一般的に…

このエントリを書いた理由は本編に書いてある。oppositeの訳語は「反対」を使う。反対圏の定義圏Cの反対圏Copは、Cの矢印を（まったく形式的に）逆向きにしたものに過ぎない。つまり、Obj(Cop) = Obj(C)であって、A, B∈Obj(C)に対して、Cop(A, B) = C(B, A)…