Stream is a promonad
Tags:
promonad
References.
Distributors at Work (Benabou, 2000).md)
Coend Calculus (Loregian).md)
Promonads and String Diagrams for Effectful Categories (Roman, 2022).md), Definition 3.7...
Article: Monoidal Streams for Dataflow Programming (PDF)
Slides: LiCS'22, Intercats Seminar (Topos Institute), TallCat Seminar, NWPT'21 (Reykjavik).
Abstract. We introduce...
,
Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)Promonad
Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)