圏論（Category Theory）

圏論は、メタ数学のような分野ととらえられるらしい。分類や思考の在り方を記述することにまで迫れるような気配がするので、少しづつ勉強してみようと思いたち、いくつか本を揃えたが、なかなかハードルが高かった。最近Haskellというプログラミング言語があることを知り、このHaskellは、圏論をもとに作成されているということらしい。少し調べてみると、Haskellを使った圏論の入門といったことを紹介してくれているサイトを見つけて、このサイトを参考にしながら、勉強を始めた。本業研究の傍らでどこまですすめるかな。