Kozen圏みたび

Kozen圏の定義は二転三転しているが、最近はまたもとの定義に戻って：

1. 対称モイイド圏
2. 等式的デカルト（普通の意味でデカルトとなるようだ）
3. 等式的余デカルト（半線形性を持つ）
4. ∇;Δ = □（これを含めて等式的双デカルトと呼ぼう）
5. Δ;∇ = 1（ベキ等）
6. トレース付き

つまり、トレース付き・ベキ等・等式的双デカルト・モノイド圏。