Promonad

Last updated May 3, 2024

• Definition

References.

• Promonads and String Diagrams for Effectful Categories (Roman, 2022), Definition 3.7.

Topic.

• motivation for promonads
• Promonads are id-on-objects functors
• distributive law
• Strong promonad
• Kleisli category
• Prostrong promonad