25 citations · 26 across the 2 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
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.CT2008★ 25 cited
Higher-dimensional categories with finite derivation type
Yves Guiraud, Philippe Malbos
We study convergent (terminating and confluent) presentations of n-categories. Using the notion of polygraph (or computad), we introduce the homotopical property of finite derivati…