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 ,
Higher-Dimensional Algebra II. 2-Hilbert Spaces, Advances in Mathematics, vol.127, issue.2, pp.125-189, 1997. ,
DOI : 10.1006/aima.1997.1617
Higher-dimensional algebra. VI. Lie 2-algebras, Theory Appl, Categ, vol.12, pp.492-538, 2004. ,
É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. ,
Artin-Gruppen und Coxeter-Gruppen, Inventiones Mathematicae, vol.I, issue.4, pp.245-271, 1972. ,
DOI : 10.1007/BF01406235
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
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. ,
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
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
Homologie des groupes gaussiens, Annales de l???institut Fourier, vol.53, issue.2, pp.489-540, 2003. ,
DOI : 10.5802/aif.1951
Gaussian Groups and Garside Groups, Two Generalisations of Artin Groups, Proc. London Math. Soc. (3), pp.569-604, 1999. ,
DOI : 10.1112/S0024611599012071
Les immeubles des groupes de tresses g???n???ralis???s, Inventiones Mathematicae, vol.4, issue.1, pp.273-302, 1972. ,
DOI : 10.1007/BF01406236
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
Soergel calculus, Representation Theory of the American Mathematical Society, vol.20, issue.12, 2013. ,
DOI : 10.1090/ert/481
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
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
The cyclic sliding operation in Garside groups, Mathematische Zeitschrift, vol.40, issue.1, pp.85-114, 2010. ,
DOI : 10.1007/s00209-009-0502-2
Abstract, LMS Journal of Computation and Mathematics, vol.244, 2012. ,
DOI : 10.1112/S0024609303002236
Characters of finite Coxeter groups and Iwahori-Hecke algebras, New Series, vol.21, 2000. ,
Higher-dimensional categories with finite derivation type, Theory Appl, Categ, vol.22, issue.18, pp.420-478, 2009. ,
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
2-categories and Zamolodchikov tetrahedra equations, Algebraic groups and their generalizations: quantum and infinite-dimensional methods, Proc. Sympos. Pure Math, pp.177-259, 1991. ,
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
Simple word problems in universal algebras, Computational Problems in Abstract Algebra, Proc. Conf, pp.263-297, 1967. ,
A Quillen Model Structure for 2-Categories, K-Theory, vol.26, issue.2, pp.171-205, 2002. ,
DOI : 10.1023/A:1020305604826
Combinatorial group theory, Classics in Mathematics, vol.89, 2001. ,
DOI : 10.1007/978-3-642-61896-3
Categories for the working mathematician, 1998. ,
Arrangements of hyperplanes, higher braid groups and higher Bruhat orders, Algebraic number theory, Adv. Stud. Pure Math, vol.17, pp.289-308, 1989. ,
A Note on Words in Braid Monoids, Journal of Algebra, vol.215, issue.1, pp.366-377, 1999. ,
DOI : 10.1006/jabr.1998.7723
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
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
??ber die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten, Monatshefte f??r Mathematik und Physik, vol.19, issue.1, pp.1-118, 1908. ,
DOI : 10.1007/BF01736688
A local approach to buildings, The geometric vein, pp.519-547, 1981. ,
gaussent@univ-st-etienne ,
guiraud@pps.univ-paris-diderot.fr INRIA ,
univ-lyon1 ,