Kozen圏の定義は二転三転しているが、最近はまたもとの定義に戻って： 対称モイイド圏 等式的デカルト（普通の意味でデカルトとなるようだ） 等式的余デカルト（半線形性を持つ） ∇;Δ = □（これを含めて等式的双デカルトと呼ぼう） Δ;∇ = 1（ベキ等） トレー…

等式的デカルト圏＝デカルト圏であっても、等式的余デカルト、等式的双デカルトな圏を考えることに意味はある。等式を使うと、極限のときとは双対性の使い勝手が違う。余デカルト性は即座に半線形性になる。双デカルトの定義には、∇;Δ = □ も入れた方がいい…