Tired of strange British comedy videos and musical numbers which just get stranger and stranger? Wishing for some serious mathematics on this Web of ours? Well, consider your wishes fulfilled:

Be forewarned — Dr. Cheng goes fast, and she mislabels one arrow in the associativity square ($$T \mu$$ instead of $$\mu T$$) before catching herself.