■

http://q.hatena.ne.jp/1208234329

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

でなくば、恐ろしく高次な概念同士が実は同一であることを見つけたり証明したりするときに。この場合は扱っている対象自体が高次だし、実装する場合は普通のプログラム技法で可能なので、見えないというか。

まあたぶん勘違いだらけなんだろうけど。