J. Adámek and . Rosicky, Locally presentable and accessible categories, 1994.
DOI : 10.1017/CBO9780511600579

. Barr, Cartan-Eilenberg cohomology and triples, Journal of Pure and Applied Algebra, vol.112, issue.3, pp.219-238, 1996.
DOI : 10.1016/0022-4049(95)00138-7
URL : https://doi.org/10.1016/0022-4049(95)00138-7

. Burroni, Higher-dimensional word problems with applications to equational logic. Theoretical computer science, pp.43-62, 1993.
DOI : 10.1016/0304-3975(93)90054-w
URL : https://doi.org/10.1016/0304-3975(93)90054-w

P. Guiraud, S. Malbos, and . Mimram, A homotopical completion procedure with applications to coherence of monoids, RTA, pp.223-238, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00818253

. Hatcher, Algebraic Topology, 2002.

B. H. Higman and . Neumann, Groups as groupoids with one law, Publicationes Mathematicae Debrecen, vol.2, pp.215-227228, 1952.

T. Jibladze and . Pirashvili, Cohomology of algebraic theories, Journal of Algebra, vol.137, issue.2, pp.253-296, 1991.
DOI : 10.1016/0021-8693(91)90093-N
URL : https://doi.org/10.1016/0021-8693(91)90093-n

T. Jibladze and . Pirashvili, Quillen cohomology and Baues-Wirsching cohomology of algebraic theories. Cahiers de top. et géom. diff. cat, pp.163-205, 2006.

E. Knuth and P. B. Bendix, Simple Word Problems in Universal Algebras, Automation of Reasoning, pp.342-376, 1983.
DOI : 10.1007/978-3-642-81955-1_23

. Kobayashi, Complete rewriting systems and homology of monoid algebras, Journal of Pure and Applied Algebra, vol.65, issue.3, pp.263-275, 1990.
DOI : 10.1016/0022-4049(90)90106-R
URL : https://doi.org/10.1016/0022-4049(90)90106-r

A. Lafont and . Prouté, Church-Rooser property and homology of monoids, Mathematical Structures in Computer Science, vol.21, issue.03, pp.297-326, 1991.
DOI : 10.1007/978-3-642-62029-4

W. Lawvere, FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES, Proceedings of the National Academy of Sciences, vol.50, issue.5, p.869, 1963.
DOI : 10.1073/pnas.50.5.869

-. Loday and B. Vallette, Algebraic operads, volume 346 of Grundlehren der Mathematischen Wissenschaften

. Malbos, Critères de finitude homologique pour la non convergence des systèmes de réécriture de termes, 2004.

. Mccune, SINGLE AXIOMS: WITH AND WITHOUT COMPUTERS, Computer Mathematics, p.83, 2000.
DOI : 10.1142/9789812791962_0013

R. Mccune, R. Padmanabhan, and . Veroff, Yet another single law for lattices, Algebra Universalis, vol.50, issue.2, pp.165-169, 2003.

R. Mccune, B. Veroff, K. Fitelson, A. Harris, L. Feist et al., Short single axioms for Boolean algebra, Journal of Automated Reasoning, vol.29, issue.1, pp.1-16, 2002.
DOI : 10.1023/A:1020542009983

. Mckenzie, Equational Bases for Lattice Theories., Rewriting techniques and applications, pp.24-38, 1970.
DOI : 10.7146/math.scand.a-10984
URL : http://www.mscand.dk/article/download/10984/9005

. Mitchell, Rings with several objects, Advances in Mathematics, vol.8, issue.1, pp.1-161, 1972.
DOI : 10.1016/0001-8708(72)90002-3
URL : https://doi.org/10.1016/0001-8708(72)90002-3

H. Neumann, Another single law for groups, Bulletin of the Australian Mathematical Society, vol.2, issue.01, pp.81-102, 1981.
DOI : 10.1007/978-3-662-35338-7
URL : https://www.cambridge.org/core/services/aop-cambridge-core/content/view/40CF4244F382E0A5A7CDAE8249B79C0A/S0004972700006912a.pdf/div-class-title-another-single-law-for-groups-div.pdf

H. Neumann, Yet another single law for groups, Illinois Journal of Mathematics, vol.30, issue.2, pp.295-300, 1986.
DOI : 10.1017/s0004972700006912
URL : https://www.cambridge.org/core/services/aop-cambridge-core/content/view/40CF4244F382E0A5A7CDAE8249B79C0A/S0004972700006912a.pdf/div-class-title-another-single-law-for-groups-div.pdf

H. A. Newman, On Theories with a Combinatorial Definition of "Equivalence", Annals of mathematics, pp.223-243, 1942.
DOI : 10.2307/1968867

R. Padmanabhan and . Quackenbush, Equational theories of algebras with distributive congruences, Proceedings of the American Mathematical Society, pp.373-377, 1973.
DOI : 10.1090/S0002-9939-1973-0325498-2

. Potts, Axioms for semi-lattices, Bulletin canadien de math??matiques, vol.8, issue.0, p.519, 1965.
DOI : 10.4153/CMB-1965-039-9

F. Squier and . Otto, The word problem for finitely presented monoids and finite canonical rewriting systems, Rewriting Techniques and Applications, pp.74-82, 1987.
DOI : 10.1007/3-540-17220-3_7

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
URL : https://doi.org/10.1016/0304-3975(94)90175-9

. Tarski, Ein Beitrag zur Axiomatik der Abelschen Gruppen, Fundamenta Mathematicae, vol.1, issue.30, pp.253-256, 1938.

. Tietze, Über die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten, Monatsh. Math. Phys, vol.19, issue.1, pp.1-118, 1908.
DOI : 10.1007/bf01736688