双対に関する表

左←→右 は、同じ圏のなかでの双対性、ただし、右は非決定性（ND）な圏なので、決定性の圏を非決定性の圏に埋め込んで双対を考える。

上←→下 は、直積・直和の双対性から導かれる対応。異なるモノイド圏のあいだの対応関係（関手ではない）。

＼	自明な構造	非決定性で自明な構造
直積	対角Δ	合併∨（∪）
直和	フォールド∇	公平な分岐∧

対角は自明にコモノイド、フォールドは自明にモノイド。表を横向きに見て：

1. Δ;∨ = 1
2. ∧;∇ = 1

それと、あやとり公式。