Definition Feedback monoidal category [lcc-0016]

A feedback monoidal category consists of

1. A monoidal category \mathcal {C} = (\mathcal {C}, \otimes , I)
2. A strong monoidal functor F: \mathcal {C} \to \mathcal {C}, called the delay
3. For each triple of objects A,B,S \in \mathcal {C}, a map \operatorname {Tr}^S: \mathcal {C}(A \otimes FS, B \otimes S) \to \mathcal {C}(A,B)
4. Obeying a number of axioms

See Monoidal Streams for Dataflow Programming, definition 3.1