Higher-Dimensional Word Problems with Applications to Equational Logic

In this paper we reduce equational logic to a two-dimensional word problem (Theorem 2.3) and introduce the concept of an n-dimensional word problem for all n∈N, with an emphasis on geometrical meaning