Exponentiable multicategory

Last updated Sep 8, 2023

Pisani shows that exponentiable multicategories are precisely promonoidal categories.