Composition of semicartesian Mealy automata

• monoidal streams