Streams in cartesian monoidal categories

Last updated Jul 7, 2023

References:

• Coend Calculus (Loregian)
• Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)