圏論との格闘

最近研究柄、圏論という数学の一分野と格闘している。圏論というのは、なんというか非常に抽象的な話をしている学問なのだが、それだけにあんまり数学っぽくなくて、小学生にでも教えることはできる、とさえ言われる怪しい分野だそうだ。この圏論がプログラミングと縁があるというのだから不思議なものだ。

この圏論と格闘していると「何がわからないかさえわからない」という状態になることがあり、そんなのになるのはかなり久々なのである意味楽しい。そして、もうちょっと(かなり?)頑張った先にすごいブレイクスルーがあるような気がして、それも楽しい。突き抜けた先に人生の展望があるような気がする。