2006-02-11 Chu Spaces 圏論 数学 メモ 昨日のコメントにも書いたけど。 http://chu.stanford.edu/ 日本語訳:http://web.sfc.keio.ac.jp/~sakai/doc/chu.stanford.edu/