A language for higher categorical structures


Thomas Leinster


A PDF version of the lecture notes is available here.


created Thu Apr 4 16:39:42 PST 2002