String diagrams for monoidal categories

by Damien Pous

Enter your terms and equations. Below you get to see the corresponding diagrams. You may move elements using the mouse, rewrite by circling sub-diagrams and press '1', or zoom using control-scroll. Other commands are available, press 'h' for a list (make sure you are not in the text area to enter such commands).



Examples

Click on the examples below to load them above.

Code

The source code for this applet (as well as a standalone GTK program) will soon be available on Github, together with the companion Rocq library. Cleaning+polishing in progress.