題名の通りです。 双対対象(ベクトル空間に対する双対空間のようなもの)を持つ圏をRigid monoidal category(和名:剛モノイダル圏)といい、内部Hom(ベクトル空間に対する写像空間のようなもの)を持つ圏をClosed monoidal category(和名:閉モノイダル圏)といい…