「スパンとファイバー積と行列計算」で、スパンは集合係数の行列であり、スパンの結合〈composition〉が行列の掛け算として計算できることを紹介しました。線形代数でよく知られた計算は、集合係数でもだいたい実行できます。$`\newcommand{\mrm}[1]{ \mathr…