Pre-release on occasion of ACT 2022.
Contains all the basic structures, with the exception of maps of diagrammatic sets.
- Create presentations of higher and monoidal algebraic theories, and compute with diagrammatic rewriting.
- Construct shapes of higher-dimensional diagrams with pasting, Gray product, suspension, join, and more.
- Generate and customise string diagrams, and output TikZ code that can be included in LaTeX files.
- Special methods for simplicial sets and for cubical sets with connections.
- Includes worked example notebooks and API documentation.