Yes. The string diagram chase can be found on page 8 of Ponto and Shulman - Traces in symmetric monoidal categories.
Todd Trimble
- 53.3k
- 6
- 205
- 322