Higher-dimensional linear rewriting and coherence in categorification and representation theory. (Réécriture de dimension supérieure et cohérence appliquées à la catégorification et la théorie des représentations). - Clément Alleaume (2018)