Open wilbowma opened 8 years ago
This paper is the original string diagrams paper where they establish that any topological deformation of a diagram represents the same morphism in a Monoidal category. To do this they have to make precise what a string diagram is in a very explicit way so that could be helpful for designing the interface.
https://ncatlab.org/nlab/show/Globular https://golem.ph.utexas.edu/category/2015/12/globular.html