A survey of graphical languages for monoidal categories (2011)

by P Selinger
Venue:In: New Structures for Physics. Springer-Verlag Lecture Notes in Computer Science 813