tikzsd

tikzsd is a Haskell program used to generate LaTeX code for string diagrams.

To use the program, one defines the categories, functors and natural transformations to be used, specifying data such as labels and shapes. After doing this, one can generate the LaTeX for string diagrams by simply describing the desired natural transformation and telling the program how to space the strings.

Usage

Please check out the github repository for usage. The repository contains a user's manual, along with examples of generated LaTeX code and the resulting pdfs.