Slim Lim

Speaking appearances

• 📖 universal properties & representable functors 2022-11-04 — San Francisco