2005-09-02 Computational Category Theory 数学 積読リンク http://www.cs.man.ac.uk/~david/categories/ 圏論の要素をSMLで作ったもの