Pacific Category Theory Seminar (Online) - Friday, April 24