PrepromonoidalityLast updated Sep 8, 2023Tags: Premonoidal category, promonoidal category, Proeffectful categories
