Monoidal streams via actions

Last updated Oct 7, 2024

Tags: optics, Monoidal category of streams, coalgebra