problem with limits on intensional streamsLast updated May 2, 2024Tags: monoidal streams, initial functor, confinal functor.ReferencesMonoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)Coinductive Streams in Monoidal Categories (Di Lavore, de Felive, Roman, 2023)Categories for the Working Mathematician (MacLane), Theorem IX.3.1.
