higher-algebra

There are 0 repository under higher-algebra topic.

ahadziha / rewalt
A toolkit for higher-dimensional diagram rewriting.
category-theory cell-complexes higher-algebra homotopy-theory monoidal-categories rewriting topology higher-category-theory string-diagrams cubical-sets simplicial-sets
Language:Python 15