多行列は、複インデックス〈多重インデックス〉集合のペアから作った複インデックス・ペアにベクトル空間の値を対応させる写像。複インデックス集合＝インデックス集合の列を I, J などとして、Π(I)×Π(J)→V 。ベクトル空間Vとして、多線形写像のホム空間を取…

ベクトル空間Vを基本として、線形要素は ベクトル (→V) フォーム (V→) コベクトル (→#V) コフォーム (#V→) 線形基準は フレーム ({I}→V) ゲージ (V→{I}) コフレーム ({#I}→#V) コゲージ (#V→{#I}) 変換は、 ゲルフォント変換： ベクトル→コフォーム 余ゲルフ…

PolLinは： 対象はベクトル空間である。 多対象はベクトル空間のリストである。これを多ベクトル空間と呼ぶ。 多射は多線形写像 f:Γ→Δ 多射 f に対して、f! : Γ→(Δ) mullin, !f! : (Γ)→(Δ) lin が対応する。 演算には、カット（単純カット、マルチカット、フ…