PromonadLast updated Oct 14, 2024DefinitionProfunctorMonoidPromonadReferences.Promonads and String Diagrams for Effectful Categories (Roman, 2022), Definition 3.7.Topic.motivation for promonadsPromonads are id-on-objects functorsdistributive lawStrong promonadhomomorphism of strong promonadsKleisli categoryProstrong promonad