A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
Functorial Boxes in String Diagrams
[chapter]

2006
*
Lecture Notes in Computer Science
*

String diagrams were introduced by Roger Penrose as a handy notation to manipulate morphisms in a monoidal category. In principle, this graphical notation should encompass the various pictorial systems introduced in proof-theory (like Jean-Yves Girard's proof-nets) and in concurrency theory (like Robin Milner's bigraphs). This is not the case however, at least because string diagrams do not accomodate boxes -a key ingredient in these pictorial systems. In this short tutorial, based on our

doi:10.1007/11874683_1
fatcat:zphjcspjybch7ax6wqx7jox6vy