Promonads are identity-on-objects functorsLast updated Jan 8, 2025Tags: promonad.References.Distributors at Work (Benabou, 2000)Promonads and String Diagrams for Effectful Categories (Roman, 2022)