Streams in cartesian monoidal categoriesLast updated Jul 7, 2023References:Coend Calculus (Loregian)Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)