[categories] Pacific Category Theory Seminar (Online) - Friday, August 7