Exponentiable multicategory

Last updated Oct 7, 2024

Pisani shows that exponentiable multicategories are precisely promonoidal categories.