Graphical interface for catagory theory proofs

[wilbowma]

https://ncatlab.org/nlab/show/Globular https://golem.ph.utexas.edu/category/2015/12/globular.html

[comonoid]

http://opetopic.net ;-)

[maxsnew]

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.