Skip to content

Releases: ahadziha/rewalt

v0.1.0

15 Jul 20:25
Compare
Choose a tag to compare
v0.1.0 Pre-release
Pre-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.