(全部読んでないで書くのもあれなんだけど・・・)
議論つーかConceptual Mathematicsていうのは
圏論の基礎概念をずぶの素人にも分かるように
ものすごく噛み砕いて説明してるだけの本なので、
新しい哲学的なアイデアの提出みたいなものは全く無い。(と認識してますが・・・

ちなみにこういう人たちがいて、現在進行形で読んでるみたい・・・
http://www.sampou.org/cgi-bin/haskell.cgi?CategoryTheory%3a%b7%f7%cf%c0%ca%d9%b6%af%b2%f1