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