Index multicategory - promonoidal category Prostrong promonad Closed premonoidal category Probabilistic mixtures as promonoidals Prepromonoidality Prostrong monad promonad effectful category
