>>717
(A a b c) や 結合 に含まれた本質のみを抽出することを俺は抽象化と言っていて、
その抽出したものを表現するのに今のところおそらく圏論が役に立つであろうということ

(A a b c) って圏論的にはどういうこと？
結合、あるいは結合できるとは圏論的にはどういうこと？

というのを圏論の言葉で説明できると、圏論で培ってきた法則やテクニックが使える
そうして得られたものはまた Haskell の言葉で表現し直すことができそうだ

一見関係ない様々なものが群論というものに抽象化したことで理解が進んだように、
こちらは論圏で抽象化することで理解が進むのではないかと思われる


きみが「例えば置換行列積の問題とか」と言ったのも、
「(A a b c)が結合できるもの」を抽象化したものを行列の言葉で表現してる
自然に頭の中で普通に抽象化してるんだよ（特に意識してはいないと思うけど）