A toolkit for higher-dimensional diagram rewriting.
topology
category-theory
cell-complexes
homotopy-theory
rewriting
higher-algebra
string-diagrams
monoidal-categories
higher-category-theory
cubical-sets
simplicial-sets
-
Updated
Sep 15, 2022 - Python