基本射： 恒等射： idV := (V, V, τV) 置換射： symmV[σ]: V→Vσ 左単位律射： lunitI,V:(I, V) → (V) 右単位律射： runitI,V:(V, I) → (V) 基本変換： テンソル積〈マージ〉： U→V, W→X ⇒ U#W→V#X カット： U→V#Y, Y#W→X ⇒ U#W→V#X フルカット〈結合〉： U→V…

「多ベクトル空間＝ベクトル空間のリスト」を対象として多線形写像を射とする圏をPLとする。PLは複線形写像の圏（ちょっと奇妙な圏だが）の上のモナドのクライスリ圏。そのモナドは拡張スタイルで定義すると： 型構成子は、T: (V1, ..., Vn) (V1...Vn) 単位…

等式的延長〈equational prolongation〉について述べる。Xを集合として、Δ(X) をXの対角集合とする。Δ(X) X 。Δk(X) を次のように帰納的に定義する。 Δ0 := X Δk+1 := {(x, y)∈Δk(X)×Δk(X) | x = y} 特に、 Δ1 := {(x, y)∈Δ0(X)×Δ0(X) | x = y} = Δ(X) ik:Δk…