>>839
自分が元は特に数学が好きじゃなかったからかと。

大人になって、Haskellに出合って、「モナドって何？」「圏論って何？」って所から本格的に数学始めて、今やHaskellより圏論の方が興味の対象。
とりあえず、自然変換までは理解した。

メタ数学な圏論は２圏以上の高次元の圏だと思うので、私はそこまでまだ至ってはいない。