monoidal streamsLast updated Oct 7, 2024Monoidal streamsTags: coalgebra, Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)choosing total relations gives directionalityEhrenfest coinductively
