多線形写像の多圏 PolLin

PolLinは：

1. 対象はベクトル空間である。
2. 多対象はベクトル空間のリストである。これを多ベクトル空間と呼ぶ。
3. 多射は多線形写像 f:Γ→Δ
4. 多射 f に対して、f! : Γ→(Δ) mullin, !f! : (Γ)→(Δ) lin が対応する。
5. 演算には、カット（単純カット、マルチカット、フルカット）がある。フルカットは圏の結合演算になる。
6. 多射のモノイド積〈テンソル積〉がある。多対象ではリストの連接。シーケントとしては連言またはマージ。
7. ホムセット（同じプロファイルを持つ多射の集まり）はベクトル空間である。その意味で、PolLinはベクトル空間豊饒多圏、あるいは線形多圏である。
8. したがって、カットはホム空間の双線形写像である。
9. 多対象には対称群〈置換群〉が作用している。
10. したがって、PolLinは対称多圏である。
11. 有限個のベクトル空間から生成したPolLinは厳密対合的な双対対応 #(-) を持つ。
12. #(-) と テンソル積に関して、コンパクト閉構造を持つ。
13. PolLinは、コンパクト閉対称モノイド線形多圏