左←→右 は、同じ圏のなかでの双対性、ただし、右は非決定性（ND）な圏なので、決定性の圏を非決定性の圏に埋め込んで双対を考える。上←→下 は、直積・直和の双対性から導かれる対応。異なるモノイド圏のあいだの対応関係（関手ではない）。 ＼ 自明な構造 非…