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