Traced pre-monoidal categories