Monoidal streams via actions

Last updated Oct 4, 2022

Tags: Optics, Monoidal category of streams, Coalgebra