計算科学で使う圏論は、だいたいは半世紀ほど前には出来ていたものです。例えば随伴関手； http://en.wikipedia.org/wiki/Adjoint_functors#History によると1950年代ですね（The idea of an adjoint functor was formulated by Daniel Kan in 1958. ）。米…