Pacific Category Theory seminar - Friday, December 12