Traced monoidal categories | Synapse