フィンベクト

数学の圏論の分野では、FinVect（またはFdVect）は、対象がすべて有限次元ベクトル空間であり、射がすべてそれらの間の線形写像である圏である。^{[ 1 ]}

FinVectには2つのモノイド積があります。

• ベクトル空間の直和は、カテゴリカル積と余積の両方である。
• テンソル積により、FinVectはコンパクトな閉じたカテゴリになります。

テンソルネットワークは、 FinVectで解釈される文字列図です。^{[ 2 ]}

グループ表現は、1つのオブジェクトカテゴリと見なされるグループからFinVectへのファンクターです。^{[ 3 ]}

DisCoCatモデルは、前群文法からFinVectへのモノイド関数である。^{[ 4 ]}

• フィンセット
• ZX計算
• モジュールのカテゴリ