String diagram is a diagramatic language in category theory, you may refer to String diagram - Wikipedia
For string diagrams of a monoidal category, fletcher can be used since it is simply nodes for morphisms and edges for objects. But the extension to 2-category case is different, since it also involves “areas” (or 2-cell) separated by edges.
Are there existing tools for drawing string diagrams? If not, how should I go with drawing them? Thanks in advance!