Adamek's theorem for combsLast updated May 3, 2023Tags: Monoidal stream computation References:Comb Diagrams for Discrete Time Feedback (Román)Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)