1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.CT2017
Linear polygraphs applied to categorification
Clément Alleaume
We introduce two applications of polygraphs to categorification problems. We compute first, from a coherent presentation of an -category, a coherent presentation of its Karoubi…
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…