1行の行列の代わりに、(x \, y) でなんとかならないか。ソース x\bullet y \,=\, \begin{pmatrix} x & y \end{pmatrix} \,=\,(x \, y) あまり変わらない。

反図式順で書くとする。横結合を次のように分類する。 ・C ： 結合〈composition〉 ・A ： 適用〈application〉 ・W ： ヒゲ結合〈whiskering〉 縦結合に関しは、 C ： 結合〈composition〉 I ： 恒等結合〈identity composition〉 次に結合可能性の表、次の…