Search
❯
Mar 06, 20231 min read
Pisani shows that exponentiable multicategories are precisely promonoidal categories.