Monoidal streams via actions

Last updated Apr 23, 2024

Tags: optics, Monoidal category of streams, coalgebra