Pacific Category Theory Seminar (Online) -- Friday, January 16