1 citations · 1 across the 1 of their papers we have counts for
2 papers
math.CT2017★ 1 cited
Coherence of string rewriting systems by decreasingness
Clément Alleaume, Philippe Malbos
Squier introduced a homotopical method in order to describe all the relations amongst rewriting reductions of a confluent and terminating string rewriting system. From a string rew…
math.RT2016
Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category
Clément Alleaume
In this paper, we introduce a rewriting theory of linear monoidal categories. Those categories are a particular case of what we will define as linear (n, p)-categories. We will als…