Haskellが好きな人は、圏論にも興味あることが多い。
単にそれだけ。内容的には、あまり関係ないよ。
昔は、Prologが形式論理とあまり関係ないことを
理解できない人がたくさんいたもんだが。