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