Monoidal streams via actions

Last updated Sep 8, 2023

Tags: Optics, Monoidal category of streams, coalgebra