. Finally, In the particular case of Artin monoids, we thus get Deligne's Theorem 1.5 of [13] for any Artin monoid as a consequence of Theorem 3.1.3. Moreover, Theorem 4.1.1 gives a similar result in terms of Artin's coherent presentation

J. Baez, Higher-Dimensional Algebra II. 2-Hilbert Spaces, Advances in Mathematics, vol.127, issue.2, pp.125-189, 1997.
DOI : 10.1006/aima.1997.1617

J. Baez and A. Crans, Higher-dimensional algebra. VI. Lie 2-algebras, Theory Appl, Categ, vol.12, pp.492-538, 2004.

N. Bourbaki, Éléments de mathématique. Fasc. XXXIV. Groupes et algèbres de Lie. Chapitre IV : Groupes de Coxeter et systèmes de Tits. Chapitre V : Groupes engendrés par des réflexions. Chapitre VI : systèmes de racines, Actualités Scientifiques et Industrielles, issue.1337, 1968.

E. Brieskorn and K. Saito, Artin-Gruppen und Coxeter-Gruppen, Inventiones Mathematicae, vol.I, issue.4, pp.245-271, 1972.
DOI : 10.1007/BF01406235

K. Brown, The Geometry of Rewriting Systems: A Proof of the Anick-Groves-Squier Theorem, Math. Sci. Res. Inst. Publ, vol.23, pp.137-163, 1989.
DOI : 10.1007/978-1-4613-9730-4_6

B. Buchberger, Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal, English translation in J. of Symbolic Computation, Special Issue on Logic, Mathematics, and Computer Science: Interactions, vol.41, pp.3-4, 1965.

A. Burroni, Higher-dimensional word problems with applications to equational logic, Theoretical Computer Science, vol.115, issue.1, pp.43-62, 1993.
DOI : 10.1016/0304-3975(93)90054-W

P. Dehornoy and . Groupes-de-garside, Groupes de Garside, Annales Scientifiques de l?????cole Normale Sup??rieure, vol.35, issue.2, pp.267-306, 2002.
DOI : 10.1016/S0012-9593(02)01090-X

P. Dehornoy and Y. Lafont, Homologie des groupes gaussiens, Annales de l???institut Fourier, vol.53, issue.2, pp.489-540, 2003.
DOI : 10.5802/aif.1951

P. Dehornoy and L. Paris, Gaussian Groups and Garside Groups, Two Generalisations of Artin Groups, Proc. London Math. Soc. (3), pp.569-604, 1999.
DOI : 10.1112/S0024611599012071

P. Deligne, Les immeubles des groupes de tresses g???n???ralis???s, Inventiones Mathematicae, vol.4, issue.1, pp.273-302, 1972.
DOI : 10.1007/BF01406236

J. Elgueta, Representation theory of 2-groups on Kapranov and Voevodsky's 2-vector spaces, Advances in Mathematics, vol.213, issue.1, pp.53-92, 2008.
DOI : 10.1016/j.aim.2006.11.010

B. Elias and G. Williamson, Soergel calculus, Representation Theory of the American Mathematical Society, vol.20, issue.12, 2013.
DOI : 10.1090/ert/481

N. Ganter and M. Kapranov, Representation and character theory in 2-categories, Advances in Mathematics, vol.217, issue.5, pp.2268-2300, 2008.
DOI : 10.1016/j.aim.2007.10.004

F. Garside, THE BRAID GROUP AND OTHER GROUPS, The Quarterly Journal of Mathematics, vol.20, issue.1, pp.235-254, 1969.
DOI : 10.1093/qmath/20.1.235

V. Gebhardt and J. González-meneses, The cyclic sliding operation in Garside groups, Mathematische Zeitschrift, vol.40, issue.1, pp.85-114, 2010.
DOI : 10.1007/s00209-009-0502-2

M. Geck, Abstract, LMS Journal of Computation and Mathematics, vol.244, 2012.
DOI : 10.1112/S0024609303002236

M. Geck and G. Pfeiffer, Characters of finite Coxeter groups and Iwahori-Hecke algebras, New Series, vol.21, 2000.

Y. Guiraud and P. Malbos, Higher-dimensional categories with finite derivation type, Theory Appl, Categ, vol.22, issue.18, pp.420-478, 2009.

Y. Guiraud, P. Malbos, and S. Mimram, A homotopical completion procedure with applications to coherence of monoids, 24th International Conference on Rewriting Techniques and Applications (RTA 2013), Leibniz International Proceedings in Informatics (LIPIcs), pp.223-238, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00818253

M. Kapranov and V. Voevodsky, 2-categories and Zamolodchikov tetrahedra equations, Algebraic groups and their generalizations: quantum and infinite-dimensional methods, Proc. Sympos. Pure Math, pp.177-259, 1991.

D. Kapur and P. Narendran, A finite thue system with decidable word problem and without equivalent finite canonical system, Theoretical Computer Science, vol.35, issue.2-3, pp.337-344, 1985.
DOI : 10.1016/0304-3975(85)90023-4

D. Knuth and P. Bendix, Simple word problems in universal algebras, Computational Problems in Abstract Algebra, Proc. Conf, pp.263-297, 1967.

S. Lack, A Quillen Model Structure for 2-Categories, K-Theory, vol.26, issue.2, pp.171-205, 2002.
DOI : 10.1023/A:1020305604826

R. Lyndon and P. Schupp, Combinatorial group theory, Classics in Mathematics, vol.89, 2001.
DOI : 10.1007/978-3-642-61896-3

S. Mac and L. , Categories for the working mathematician, 1998.

Y. Manin and V. Schechtman, Arrangements of hyperplanes, higher braid groups and higher Bruhat orders, Algebraic number theory, Adv. Stud. Pure Math, vol.17, pp.289-308, 1989.

J. Michel, A Note on Words in Braid Monoids, Journal of Algebra, vol.215, issue.1, pp.366-377, 1999.
DOI : 10.1006/jabr.1998.7723

C. Squier, F. Otto, and Y. Kobayashi, A finiteness condition for rewriting systems, Theoretical Computer Science, vol.131, issue.2, pp.271-294, 1994.
DOI : 10.1016/0304-3975(94)90175-9

R. Street, Limits indexed by category-valued 2-functors, Journal of Pure and Applied Algebra, vol.8, issue.2, pp.149-181, 1976.
DOI : 10.1016/0022-4049(76)90013-X

H. Tietze, ??ber die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten, Monatshefte f??r Mathematik und Physik, vol.19, issue.1, pp.1-118, 1908.
DOI : 10.1007/BF01736688

J. Tits, A local approach to buildings, The geometric vein, pp.519-547, 1981.

S. Gaussent-stephane, gaussent@univ-st-etienne

Y. Guiraud-yves, guiraud@pps.univ-paris-diderot.fr INRIA

P. Malbos, univ-lyon1