Proeffectful categories

Last updated Nov 4, 2022

Index

• Promonoidal category
• Prostrong promonad
• Closed premonoidal category
• Probabilistic mixtures as promonoidals
• Prepromonoidality
• Prostrong monad
• Promonad
• Effectful category