Adamek's theorem for combsLast updated Feb 15, 2025Tags: Monoidal stream computationReferences:Comb Diagrams for Discrete Time Feedback (Román, 2020)Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)