Exponentiable multicategory

Last updated Feb 3, 2024

Pisani shows that exponentiable multicategories are precisely promonoidal categories.