Skip to content

v0.1.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@ahadziha ahadziha released this 15 Jul 20:25
· 3 commits to main since this release

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.