tangle is a work-in-progress graphical editor for string diagrams, along with an accompanying TikZ library for exporting to LaTeX.
tangle is a companion project to the commutative and pasting diagram editor quiver. However, it is still in the early stages of development and is not yet as fully featured and polished.
At present, tangle is designed primarily for editing string diagrams for double categories and virtual equipments. However, since these settings subsume those of monoidal categories, multicategories, and bicategories, it is also possible to use tangle to design string diagrams for these structures. Note that there is not yet any support for symmetry.
- Import the tangle package in your LaTeX document:
tangle is not yet available on CTAN, so you will need to include
\usepackage{tangle}
tangle.styin your files. - Declare your colour scheme at the start of your document. This is a list of HTML colour codes.
% https://varkor.github.io/tangle/?c=F5A3A3,F5CCA3,F5F5A3,CCF5A3,A3F5A3,A3F5CC,A3F5F5,A3CCF5,A3A3F5,CCA3F5,F5A3F5,F5A3CC \tgColours{F5A3A3,F5CCA3,F5F5A3,CCF5A3,A3F5A3,A3F5CC,A3F5F5,A3CCF5,A3A3F5,CCA3F5,F5A3F5,F5A3CC} - Open the tangle string diagram editor. Make sure to include the colour scheme in the URL query string, for instance:
https://varkor.github.io/tangle/?c=F5A3A3,F5CCA3,F5F5A3,CCF5A3,A3F5A3,A3F5CC,A3F5F5,A3CCF5,A3A3F5,CCA3F5,F5A3F5,F5A3CC - Draw your string diagram in the editor, by placing tiles, cells, and arrows, and colouring regions. Labels on the axes of the diagram can be added by clicking on the squares surround the diagram. Right-click to delete elements of the diagram.
- Export the diagram to LaTeX and paste the generated diagram into your document. The exported diagram includes a URL that can be used to modify the diagram in the future.
It should not be necessary to manually design diagrams using the tangle.sty package, so we do not include detailed documentation for now.
The philosophy of tangle is that string diagrams can be designed according to a grid. This leads to a uniform aesthetic. Although this conformity to a grid is not always the most convenient choice, it facilitates the design of a graphical editor.
See the instructions for quiver, which also apply to tangle.