Proeffectful categories

Last updated May 3, 2024

Index

• promonoidal category
• Prostrong promonad
• Closed premonoidal category
• Probabilistic mixtures as promonoidals
• Prepromonoidality
• Prostrong monad
• promonad
• effectful category