C. Alleaume, Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01281219

C. Alleaume, Higher-dimensional linear rewriting and coherence in categorification and representation theory, 2018.
URL : https://hal.archives-ouvertes.fr/tel-01896102

J. Brundan, On the definition of Kac-Moody 2-category, 2015.

A. Burroni, Higher-dimensional word problems with applications to equational logic, 4th Summer Conference on Category Theory and Computer Science, vol.115, pp.43-62, 1991.

C. Chenavier, B. Dupont, and P. Malbos, Algebraic polygraphs modulo and linear rewriting, 2019.

J. , R. B. Cockett, J. Koslowski, and R. A. Seely, Introduction to linear bicategories, The Lambek Festschrift: mathematical structures in computer science, vol.10, pp.165-203, 1997.

N. Dershowitz, Termination of rewriting, J. Symb. Comput, vol.3, issue.1-2, pp.69-115, 1987.

B. Dupont, Rewriting modulo isotopies in pivotal linear (2, 2)-categories, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02263268

B. Dupont and P. Malbos, Coherent confluence modulo relations and double groupoids, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01898868

Y. Guiraud, E. Hoffbeck, and P. Malbos, Convergent presentations and polygraphic resolutions of associative algebras, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01006220

Y. Guiraud and P. Malbos, Higher-dimensional categories with finite derivation type, Theory Appl. Categ, vol.22, issue.18, pp.420-478, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00326974

Y. Guiraud and P. Malbos, Higher-dimensional normalisation strategies for acyclicity, Adv. Math, vol.231, issue.3-4, pp.2294-2351, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00531242

Y. Guiraud and P. Malbos, Polygraphs of finite derivation type, Math. Structures Comput. Sci, vol.28, issue.2, pp.155-201, 2018.
URL : https://hal.archives-ouvertes.fr/hal-00932845

A. Hadzilhasanovic, The algebra of entanglement and the geometry of composition, 2017.

G. Huet, Confluent reductions: abstract properties and applications to term rewriting systems, J. Assoc. Comput. Mach, vol.27, issue.4, pp.797-821, 1980.

J. and H. Kirchner, Completion of a set of rules modulo a set of equations, Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL '84, pp.83-92, 1984.

G. Victor and . Kac, Infinite-dimensional Lie algebras, 1990.

J. Seok, M. Kang, and . Kashiwara, Categorification of highest weight modules via Khovanov-LaudaRouquier algebras, Invent. Math, vol.190, issue.3, pp.699-742, 2012.

M. Khovanov and A. D. Lauda, A diagrammatic approach to categorification of quantum groups III, Quantum Topology, vol.1, issue.1, pp.1-92, 2008.

M. Khovanov and A. D. Lauda, A diagrammatic approach to categorification of quantum groups, I. Represent. Theory, vol.13, pp.309-347, 2009.

M. Khovanov and A. D. Lauda, A diagrammatic approach to categorification of quantum groups II, Trans. Amer. Math. Soc, vol.363, issue.5, pp.2685-2700, 2011.

Y. Lafont, Algebra and geometry of rewriting, Appl. Categ. Structures, vol.15, issue.4, pp.415-437, 2007.

A. D. Lauda, An introduction to diagrammatic algebra and categorified quantum sl(2), Bull. Inst. Math. Acad. Sin. (N.S.), vol.7, issue.2, pp.165-270, 2012.

M. Lucas, A coherence theorem for pseudonatural transformations, Journal of Pure and Applied Algebra, vol.221, issue.5, pp.1146-1217, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01191867

G. Lusztig, Introduction to quantum groups. Modern Birkhäuser Classics, 2010.

F. Métayer, Resolutions by polygraphs, Theory Appl. Categ, vol.11, issue.7, pp.148-184, 2003.

F. Métayer, Cofibrant objects among higher-dimensional categories, Homology Homotopy Appl, vol.10, issue.1, pp.181-203, 2008.

S. Mimram, Computing critical pairs in 2-dimensional rewriting systems, RTA 2010: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, vol.6, pp.227-241, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00473983

R. Rouquier, , 2008.

A. Savage, String diagrams and categorification, 2018.

R. Street, Limits indexed by category-valued 2-functors, J. Pure Appl. Algebra, vol.8, issue.2, pp.149-181, 1976.

R. Street, The algebra of oriented simplexes, J. Pure Appl. Algebra, vol.49, issue.3, pp.283-335, 1987.

. Vincent-van-oostrom, Confluence by decreasing diagrams, Theor. Comput. Sci, vol.126, issue.2, pp.259-280, 1994.

B. Webster, Knot invariants and higher representation theory, Mem. Amer. Math. Soc, vol.250, p.141, 1191.