Prepromonoidality

Tags: premonoidal category, multicategory - promonoidal category, Proeffectful categories