Tags: monoidal streams, initial functor, confinal functor. References Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022) Coinductive Monoidal Streams (Di Lavore, de Felive, Roman, 2023) Categories for the Working Mathematician (MacLane), Theorem IX.3.1.
