Ross Street – 12 September 2001

Tom Leinster has produced a provocative paper, to appear in TAC, explaining 10 definitions of weak n-category. The point is to show that the definitions are not so complicated after all. Each definition is given a name related somehow to the originator. Leinster gives two of his own definitions: L which is very similar to Batanin's, and L' which is the topic of my talk. I recommend Leinster's paper for the details. T. Leinster, A survey of definitions of n-category , Theory and Applications of Categories (to appear, available electronically via arXiv)