2020-03-03 Lin, MLin, PLin その他代数 メモ 教育 Lin = Vect MLin = 複線形写像を射とする圏。対象はベクトル空間のリスト(公平タプル) PLin = 多線形写像を射とする圏。対象はベクトル空間のリスト(公平タプル) PLin は MLin上のテンソル積モナドのクライスリ圏 PLinの射(クライスリ射)をテンソルと呼ぶ。 野生の線形代数ではなくて、牧場の線形代数になる。