>>165

計算機科学で圏論を使うのは大いに結構。
しかし、ここは数学板だ。
計算機科学の板じゃないんで。

それにしても圏と関手の具体的例を知らないで圏論をやろうというのは、
なんていうか、女を生れてこのかた見たことがない男（野生で育ったとか）がセックスの
やり方を学ぶようなもんだろｗ