Proeffectful categories

Last updated Oct 7, 2024

Index

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