Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I thought to add
That is nice material. He give a good seminar on it online recently.
This does look very nice. Thanks for adding the reference!
Tracelets are the intrinsic carriers of causal information in categorical rewriting systems. In this work, we assemble tracelets into a symmetric monoidal decomposition space, inducing a cocommutative Hopf algebra of tracelets. This Hopf algebra captures important combinatorial and algebraic aspects of rewriting theory, and is motivated by applications of its representation theory to stochastic rewriting systems such as chemical reaction networks.
adding reference
Anonymous
Hyperlinked abstract rewriting system
The following machine learning-inspired rewriting systems for meta/hyper-graphs claim to be related to homotopy type theory
1 to 10 of 10