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