PrepromonoidalityLast updated Feb 3, 2024Tags: premonoidal category, promonoidal category, Proeffectful categories