Streams in cartesian monoidal categories
References:
- Coend Calculus (Loregian)
- Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)
Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)
Article: Monoidal Streams for Dataflow Programming (PDF) Slides: LiCS'22, Intercats Seminar (Topos Institute), TallCat Seminar, NWPT'21 (Reykjavik). Abstract. We introduce...