Computing on Topological Domains
Representation Learning on Topological Domains
A toolkit for higher-dimensional diagram rewriting.
