米田補題とか
- http://blog.sigfpe.com/2006/11/yoneda-lemma.html
- http://www.maths.gla.ac.uk/~tl/categories/index.html
下はトム・レインスター(Tom Leinster)の講義資料
This is the main page for the Part III Category Theory course given in Cambridge in the academic year 2000-2001.