http://www.cs.man.ac.uk/~david/categories/ 圏論の要素をSMLで作ったもの

http://momi.jwu.ac.jp/~mathphys/nakagami/2004.pdf じつは位相空間は良く理解していないです。

http://www.nurs.or.jp/~lionfan/ 群論の意味の説明をどうすればいいか探してたら発見。分かりやすいスライドがいっぱい。Googleページランクの説明するとき、このIRT入門つかえればよかったな。