Definition. Feedback category [mde-PX3L]

Feedback categories are a weakening of traced monoidal categories in which the yanking axiom does not hold: they admit a notion of delay.