Proeffectful categories

Last updated Sep 8, 2023

Index

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