Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Yes. The string diagram chase can be found on page 8 of this paper by Kate Ponto and Mike ShulmanPonto and Shulman - Traces in symmetric monoidal categories.
Yes. The string diagram chase can be found on page 8 of this paper by Kate Ponto and Mike Shulman.
Yes. The string diagram chase can be found on page 8 of Ponto and Shulman - Traces in symmetric monoidal categories.
