References.
- Distributors at Work (Benabou, 2000)
- Coend Calculus (Loregian)
- Promonads and String Diagrams for Effectful Categories (Román, 2022), Definition 3.7 takes this style of definition. Most sources will more succintly say it is a monoid in the bicategory of profunctors.
Topic.
- motivation for promonads
- Promonads are id-on-objects functors
- distributive law of promonads
- Strong promonad
- Kleisli category
- Prostrong promonad
Tags: profunctor