Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Apr 9, 2008
We use the Eckmann-Hilton argument to show that a bicategory with only one object and only one 1-cell is a commutative monoid. TYPO ALERT: at 4.13 mins I write "only one 2-cell" but I mean "only one 1-cell".