Search
❯
Apr 29, 20251 min read
Pisani shows that exponentiable multicategories are precisely promonoidal categories.