Prepromonoidality

Last updated Oct 7, 2024

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