Monoidal streams via actionsLast updated Oct 4, 2022Tags: Optics, Monoidal category of streams, Coalgebra