http://q.hatena.ne.jp/1208234329よく知らないが、圏論は一般的にはプログラムではなくメタプログラムに役立つものではないだろうか。コンパイラなどを作ったり、仕様を策定するときに、漏れが無いかとか変換は効率的かとか、概念のクラスが錯綜していない…