Lin, MLin, PLin

• Lin = Vect
• MLin = 複線形写像を射とする圏。対象はベクトル空間のリスト（公平タプル）
• PLin = 多線形写像を射とする圏。対象はベクトル空間のリスト（公平タプル）
• PLin は MLin上のテンソル積モナドのクライスリ圏
• PLinの射（クライスリ射）をテンソルと呼ぶ。

野生の線形代数ではなくて、牧場の線形代数になる。