Tag: monoidal-streamsOct 7, 2024Streams in cartesian monoidal categoriesMonoidal-StreamsOct 7, 2024Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)Monoidal-StreamsOct 7, 2024monoidal streamsMonoidal-StreamsOct 7, 2024effectful streamsMonoidal-StreamsOct 7, 2024Definitions of combsMonoidal-StreamsOct 7, 2024conditionals of a familyMarkov-CategoryMonoidal-StreamsOct 7, 2024conditionals are unique up to rangesMarkov-CategoryMonoidal-StreamsOct 7, 2024coinductive streamsMonoidal-StreamsOct 7, 2024Adamek's theorem for combsMonoidal-Streams