Yes. The string diagram chase can be found on page 8 of this paper by Kate Ponto and Mike Shulman.
Todd Trimble
- 53.3k
- 6
- 205
- 322