I was there, it was a fantastic talk! Dr Cheng is a wonderful communicator of category theoretic ideas, and just as kind and funny in person. I wish I'd known Ross Street was there, it would have been nice to meet him too!